PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The easiest way to prove something is a cone based on some space is to figure out exactly what cone it is (in this case, the cone on $lk_K(x)$ from $x$ itself).
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com