A Rational Entailment for Expressive Description Logics via Description Logic Programs
This work addresses the challenge of non-monotonic reasoning in Description Logics for AI and knowledge representation, though it appears incremental as it builds on existing rational closure frameworks.
The authors tackled the problem of modeling rational entailment for expressive Description Logics like SROIQ by developing a novel reasoning procedure that compiles non-monotone knowledge bases into description logic programs, achieving a method that integrates rational closure principles into these logics.
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).