PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In other words, a set is countable if there is a bijection from that set to N. An alternate way to define countable is: if there is a way to enumerate the elements of a set, then the set has the same cardinality as N and is called countable.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathcs.org