PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • But if $R$ is any non-zero ring at all, and $u$ is a unit, then $R\rightarrow R[u^{-1}]$ is an isomorphism, and in particular injective, whether or not $R$ is a domain.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com