PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • So If you took some appropriately causally closed domain containing your events and demonstrated that there was a chart where the Weyl tensor vanishes everywhere, then you would know that the causal relations between those events would have to look like Minkowski space.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com