2021
Report  Open Access

A rational entailment for expressive description logics via description logic programs

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


Metrics



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