PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The accumulator 130 receives the difference signal SD from the adder 120 and adds the difference signal SD to a sum signal Sacc for accumulating the sum signal Sacc, which is assumed to be a K-bit signal where K is a positive integer, and generating a carry signal CA. Normally, the carry signal CA switches from a logic value ???0??? to a logic value ???1??? while occurring a carry-out process.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com