| http://www.w3.org/ns/prov#value | - If C is a formula occurrence in B, and op is a binary Boolean operator, then the polarity of C in (A op B) is equal to the product of the polarity of B in (A op B) and the polarity of C in B. If C is a formula occurrence in A, then the polarity of C in (A op B) is the product of the polarity of A in (A op B) and the polarity of C in A. Finally, if C is a formula occurrence in not(A), then the po
|
