PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • As others have already indicated, there is a good chance that you do not actually need $(E-aX)^{-1}$, but rather $(E-aX)^{-1}v$ for some vector $v$.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net