PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Note that this did not use the inf and "sup properties at all: in general if any lower bound is at the same time an upper bound of a non-empty set, then with similar proof we may show that the set is a singleton.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com