PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • A recent trend for dealing with Benacerraf's identification problem is fictionalism, a form of structuralism: Fictionalism holds that mathematical theories are like fiction stories such as fairy tales and novels.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com