PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • You can easily verify that the answer you got is a solution by substituting in $y'(x)$, and seeing whether the result is $0$.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com