PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Observe further that claim B is somehow deduced from A. I.e., Wolfram not just so asserts that Universe is a computer because he likes it to be that way, but BECAUSE earlier he discovered the said property of short programs.
http://www.w3.org/ns/prov#wasQuotedFrom
  • wolframscience.com