PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • I am reading this book and it says that a group is a monoid with invertibility and this property is made to solve the equation $x \ast m=e$ and $m \ast x=e$ for $x$, where $m$ is any element of the structure.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com