---

Giovanni Casini and Umberto Straccia.
A Rational Entailment for Expressive Description Logics via Description Logic Programs.
In Proceedings of the Southern African Artificial Intelligence Conference (SACAIR-2021),  Communications in Computer and Information Science 1551, Springer, pages 177--191, 2022.

---

Abstract:
Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description Logics (DLs). We show here how to model a rational form of entailment for expressive DLs, such as SROIQ, providing a novel  reasoning procedure that compiles a non-monotone  DL knowledge base into a description logic program (dl-program).

---