PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • First-order theories allow explicit reference to, and quantification over, individuals, such as numbers or sets, but not quantification over (and hence rules for manipulating) properties of these individuals.
http://www.w3.org/ns/prov#wasQuotedFrom
  • britannica.com