PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In Euclidean geometry, translations and dilations are both examples of one-to-one onto functions that map straight lines to straight lines.
http://www.w3.org/ns/prov#wasQuotedFrom
  • planetmath.org