PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Combining these knowledge modalities with ATL, it becomes possible to express such properties as group ?? can cooperate to bring about ?? iff it is common knowledge in ?? that ??.
http://www.w3.org/ns/prov#wasQuotedFrom
  • philpapers.org