PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Note that union is probably not the best term for A+B here--he is specifically a disjoint union of the two types, because the two sides are distinguished even if their types are the same.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackoverflow.com