PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • given two objects a and b there is a category B(a, b) whose objects are the 1-cells and morphisms are the 2-cells, the composition in this category is called vertical composition;
http://www.w3.org/ns/prov#wasQuotedFrom
  • wikipedia.org