5 papers
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…
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…
Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems
Spencer Killen, Jia-Huai You
A wide variety of nonmonotonic semantics can be expressed as approximators defined under AFT (Approximation Fixpoint Theory). Using traditional AFT theory, it is not possible to de…
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…
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…