Search papers, labs, and topics across Lattice.
This paper explores the integration of Rational Closure (RC) into the core and horn variants of the DL-Lite family of Description Logics, focusing on both instance checking and Conjunctive Query (CQ) answering. The authors introduce a plug-in architecture that enhances existing classical reasoners, demonstrating that efficient reasoning and CQ answering under RC can be achieved with minimal computational overhead. The key result is that this approach significantly improves the practical applicability of DL-Lite in scenarios requiring defeasible reasoning.
Efficient reasoning under Rational Closure for DL-Lite can be achieved with minimal overhead, transforming how defeasible knowledge is handled in AI applications.
In Description Logics (DLs), reasoning under Rational Closure (RC) is a well-known and widely accepted non-monotonic formalism to handle defeasible knowledge. In this paper, we study the application of RC to the core and horn variants of the DL-Lite family of lightweight description logics. We analyze both entitlement (instance checking) and Conjunctive Query (CQ) answering under RC. Our main contribution is providing a plug-in architecture that builds upon existing standard classical reasoners, establishing that reasoning and CQ answering under RC for DL-Lite can be done efficiently with minimal computational overhead.
