PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Even better, he gives a generators and relations" description of this gadget, which is just the sort of thing we need for the 2d version of the cobordism hypothesis:
http://www.w3.org/ns/prov#wasQuotedFrom
  • ucr.edu