PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The von Neumann ordinals are sets well ordered by $\in$ which are also transitive, i.e. every element is a subset.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com