PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Moreover, by the definition, we can find that for each , and, is a solution of if and only if .
http://www.w3.org/ns/prov#wasQuotedFrom
  • hindawi.com