PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • This does not follow if $S$ is not a set, because we cannot substitute $A:=S$ when $S$ is not a set. (Intuitively, a (proper) class is a collection too large to be a set.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com