PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • As an example of what I am looking for, here is a direct reduction in the reverse direction: Given G with $n$ and some $k$ (the number of colors), make a graph G' with $kn$ vertices (one per color per vertex).
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com