PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • An example I can give you is, even with complex numbers, we still cannot solve an equation like $xy-yx=1$ so now we have quaternions (matrices are another number system where impossible equations like $AB\neq BA$ hold but quaternions are a direct extension of the complex numbers).
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com