| http://www.w3.org/ns/prov#value | - Mathematical and logical propositions (e.g., that the square of the hypotenuse is equal to the square of the two sides") are examples of the first, while propositions involving some contingent observation of the world (e.g., the sun will rise tomorrow) are examples of the second.
|
