PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Assuming reflexivity of access, it thus follows (*) is true at W. But ex hypothesi, W is a world where (*) is false.
http://www.w3.org/ns/prov#wasQuotedFrom
  • blogspot.com