PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Classical mathematics, for example, is much easier to apply, especially in physics, than intuitionistic mathematics, while the latter, being logically weaker, is less likely to result in contradiction.
http://www.w3.org/ns/prov#wasQuotedFrom
  • ncatlab.org