PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Yes, even if you go with an ODE solver with built-in error estimation, remember that the solution of an ODE is ultimately an extrapolation, while the solution of a definite integral is an interpolation, and generally interpolations behave better than extrapolations. (For indefinite integrals, you are stuck with having to use an ODE solver.)
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net