PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The foregoing can be proved from the division algorithm, N=dQ+R, where N is an integer, d is a divisor, Q is a quotient, and R is the remainder.
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com