PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • On p. 449, Godel's second theorem - either G or ~G must be correct, but neither is a theorem, so the system is incomplete.
http://www.w3.org/ns/prov#wasQuotedFrom
  • dailykos.com