3 papers
cs.AI2026
A New Well-Supported Semantics for Description Logic Programs
Spencer Killen, Jia-Huai You
Description logic programs are a powerful formalism for combining rules with ontologies. The well-supported semantics for description logic programs ensures that no answer sets rel…
cs.AI2024
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…
cs.AI2021
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…