2022
Conference article  Open Access

A rational entailment for expressive description logics via description logic programs

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


Metrics



Back to previous page
BibTeX entry
@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}
}