PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In fact, your problem is an instance of a very much larger problem,and one which is the harbinger (hoefully) of a future system designed aroundthe concept that the notation/language used by mathematics/mathematicians isof first and central importance, and must take precedence over program(ming)artifact.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org