PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • You can do this if V is a real Hilbert space and W is a closed subspace of V, but the hypotheses of the exercise are significantly more general than this. (In particular, the field F does not need to be real or complex.)
http://www.w3.org/ns/prov#wasQuotedFrom
  • wordpress.com