| http://www.w3.org/ns/prov#value | - The reason for using Pr[X ??? x] instead of Pr[X = x] is that it allows specifying continuous random variables such as a random variable that is uniform in the range [0,1]; this random variable has a distribution function given by F(x) = x when 0 ??? x ??? 1, F(x) = 0 for x < 0, and F(x) = 1 for x > 1.
|