On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases

Riley Kinahan, Spencer Killen, Kevin Wan +1

Hybrid MKNF Knowledge Bases (HMKNF-KBs) constitute a formalism for tightly integrated reasoning over closed-world rules and open-world ontologies. This approach allows for accurate…