A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases

Open in new window