PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Is this what you meant?>> Yes, positive implies real. You will also get that result assuming x> is negative, or assuming x is an integer, and so on. Not only on the> reals, but also on any subset of the reals we have sqrt(x^2) = abs(x) .If you visualize f(z)=sqrt(z^2) in the complex plane, you can specializeit for real z and see if it corresponds to abs(z).>>>>> So Max
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org