PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • You must have some> axioms, some rules of inference, some background logic, and some> definitions.>> Just asking if something or other leads to a contradiction without> providing full context (or having that context understood) is> nonsense.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org