PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Products and sums of types can be interpreted as cartesian products and disjoint unions of sets, respectively, so that the distributivity property does hold on sets.
http://www.w3.org/ns/prov#wasQuotedFrom
  • psu.edu