PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In a framework with a classical semantics we actually get cons:customer-with-address(Paul) as expected, since Paul is a customer and a traveller, and travellers do have an address by definition in the knowledge base.
http://www.w3.org/ns/prov#wasQuotedFrom
  • w3.org