Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases

Open in new window