PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • (Not needed in proofs, but you ought to know it just to be safe.) Each ordinal is a set, but there is no such thing as the set of all ordinals, because if there were then would be an ordinal as well.
http://www.w3.org/ns/prov#wasQuotedFrom
  • tricki.org