PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • So a homomorphism $\phi\colon R o S$ between integral domains (which necessarily have $1\neq 0$) which sends $1$ to $1$ has kernel equal to a maximal ideal if and only if the image is a field.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com