PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The correct equivalent statements are that $o(x) \subseteq O(x)$ but $O(x) \not\subseteq o(x)$. [Of course, $o(x) \ne O(x)$ is also correct.] As equality is the most important relation we have, one should never write an equals sign unless one really means it!
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net