PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For example, I think that I can> prove that if f is a mapping from a Euclidean space E^n into E^n,> which maps straight lines into straight lines, and whose range> contains n+2 distinct points any n+1 of which are in general position,> then f is an affine transformation.>> I hope to publish this sometime soon.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org