PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • So one might decide that Jupiter is a star, and at least its four major moons instantly become planets, which then is used in the definition of "star to prove that Jupiter is indeed a star.
http://www.w3.org/ns/prov#wasQuotedFrom
  • slashdot.org