PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For example, if the 2-complex is a disk, then the 1-skeleton is $S^1$, so you want to take a knot in $S^2 imes S^1$ which meets $S^2$ algebraically once.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net