Casini G, Straccia U
Defeasible reasoning Non-monotonic reasoning Description logics Answer set programming ASP
Lehmann and Magidor's rational closure is acknowledged as a land-mark in the field of non-monotonic logics and it has also been re-formulated in the context ofDescription 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).
Source: COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE (PRINT), pp. 177-191. Durban, South Africa, 6-10/12/2021
Publisher: Springer
@inproceedings{oai:it.cnr:prodotti:459230, title = {A rational entailment for expressive description logics via description logic programs}, author = {Casini G and Straccia U}, publisher = {Springer}, doi = {10.1007/978-3-030-95070-5_12}, booktitle = {COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE (PRINT), pp. 177-191. Durban, South Africa, 6-10/12/2021}, year = {2022} }