PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Quasi gives 4 reasons.2) If there is a problem with using a class as above, why is the definition of the surreal numbers (which do not form a set) ok?Answer: There is no real problem with using a class.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org