PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • After solving for ??H, if g(H+??H)<g(H), one may update H, i.e. H=H+??H. If g(H+??H)???g(H), the systems stops and the last H is the final H.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.ca