Casini G., Straccia U.
Description logics Answer set programming ASP DL-programs Rational closure Non-monotonic reasoning
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 nonmonotone DL knowledge base into a description logic program (dl-program).
Source: ISTI Technical Report, ISTI-2021-TR/019, 2021
@techreport{oai:it.cnr:prodotti:459195, title = {A rational entailment for expressive description logics via description logic programs}, author = {Casini G. and Straccia U.}, doi = {10.32079/isti-tr-2021/019}, institution = {ISTI Technical Report, ISTI-2021-TR/019, 2021}, year = {2021} }