| http://www.w3.org/ns/prov#value | - Actually, axioms are not particularly good for that because the types we use in programs do not exactly match mathematical laws: Floating-point numbers such as doubles do not exactly match the rules for reals (e.g. real numbers do not have a NaN) and ints do not exactly follow the rules for integers (mathematical integers do not overflow).
|
