| http://www.w3.org/ns/prov#value | - Thus, as long as their axioms are true (they are very rudimentary) and their deductive reasoning is valid, i.e., the forms of the arguments ensure that the conclusions will be necessarily true if the premises are true, then their conclusions will indeed be necessarily true.
|
