PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Thus, for example, if integer is a subtype of float, such systems cannot directly support overloading of a function such as MAX with instances MAX1 (integer,integer), and MAX2 (float,float), MAX3 (integer,float) and MAX4 (float,integer).
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com