PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • When $p$ is odd this entails that $K \wedge K = 0$, but gives no information when $p$ is even, which is for example the case for the fundamental form of a hermitian metric.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net