PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In this case, the state sum you get is a modified version of the Crane-Yetter state sum. (You would get a Turaev-Viro state sum for a fully extended 2+1 dimensional TQFT.)
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net