PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In fact, Garner writes, ???Indeed, the existence of unbounded ionads is a problem that seems to be independent of the axioms of Zermelo-Fraenkel set theory.??? (Section 3.8).
http://www.w3.org/ns/prov#wasQuotedFrom
  • ncatlab.org