| http://www.w3.org/ns/prov#value | - We show that this semantics can be further generalized for disjunctive logic programs with classical negation, in a constructive modal-theoretic framework where rules are built from assertions and hypotheses, namely, formulas of the form Box F and Diamond Box F where F is a literal, respectively, yielding a base semantics" for general disjunctive logic programs.
|
