PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Does the opposite statement make sense ? i.e. if we can arrange the elements of a set as the elements of a sequence of distinct elements (for example, if that set is an infinite subset of a countably infinite set, say $X$, then using the above argument for $X$) then that set is countably infinite.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com