PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • He is saying that the theory of types is implicit in logic and a priori, Russell???s' paradox should not happen in the first place.
http://www.w3.org/ns/prov#wasQuotedFrom
  • blogspot.com