PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • intuitions that, say, it is impossible that there be stones capable of thought or that 5 plus 7 be something other than 12, and hence that there are no worlds in which those propositions are true.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stanford.edu