PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In addition to the foregoing examples of logical operations performed by the full adder, it can be seen that various arithmetic operations such as addition can be radily performed by merely presenting the appropriate input data to the full adder.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com