PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • This also gives the more general fact that the fundamental groupoid of a topological group is a group object in the category of groupoids, sometimes called a $2$-group.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com