# Tractable Reasoning and Conjunctive Query Answering for Defeasible DL-Lite under Rational Closure

arXiv: https://arxiv.org/abs/2606.24279 · HTML: https://mlsanity.com/paper/2606.24279/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- First posted on arXiv 23 Jun 2026.

## Abstract (arXiv)

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.