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

Spencer Killen, Jia-Huai You

The logic of hybrid MKNF (minimal knowledge and negation as failure) is a powerful knowledge representation language that elegantly pairs ASP (answer set programming) with ontologi…