PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Edit: There is a problem with the below argument: just because $f(x) = \lim_{\epsilon o 0} \frac{1}{2\epsilon} (F(x+\epsilon)-F(x-\epsilon))$ exists does not let us conclude that $F$ is differentiable (consider $F(x)=x^{1/3}$ at $x=0$).
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com