PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For C, if one set of premises B is a subset of another such set A (i.e B subset A subset L), then deductions from B form a subset of those deductions from A (i.e. C(B) subset C(A)).
http://www.w3.org/ns/prov#wasQuotedFrom
  • raherrmann.com