PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The problem is that if $M$ is finite and its order is not a power of a prime, any ring structure on $M$ will contain zero divisors i.e. nonzero elements $a,b$ such that $ab=0$.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com