PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Thus, is a sequence of sufficiently close operators in terms of the gap metric so that they are bounded closed operators from Theorem 2.2((i)-(ii)) with the replacements following complete induction.
http://www.w3.org/ns/prov#wasQuotedFrom
  • hindawi.com