| http://www.w3.org/ns/prov#value | - These operations are examples of logical connectives and the functions &, | and ~ are collectively known as boolean operations.There is one more logical connective to mention: implication. v(A implies B) is v(A) -> v(B) where A -> B is defined to be ~(A & ~B).
|
