PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • @Harry: Large categories make perfect sense in ZFC-founded category theory: it is just that they are proper classes rather than sets, which restricts the sort of things you can do with them.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net