Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases

Spencer Killen, Jia-Huai You

Combining the closed-world reasoning of answer set programming (ASP) with the open-world reasoning of ontologies broadens the space of applications of reasoners. Disjunctive hybrid…