PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For any , we denote for any integer and . is said to be compact in , if for any bounded set set is precompact in . is said to be point dissipative if there is a bounded set such that for any .
http://www.w3.org/ns/prov#wasQuotedFrom
  • hindawi.com