PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • If implies , the function is called injective, or one-to-one.If for any in the range there is an in the domain so that , the function is called surjective, or onto.If both conditions are met, the function is called bijective, or one-to-one and onto.
http://www.w3.org/ns/prov#wasQuotedFrom
  • wolfram.com