PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • If your formal proof system is reasonable, then yes. (Here is an example of an unreasonable proof system: no axioms, no rules of inference.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com