Document - A rational entailment for expressive description logics via description logic programs

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

Cite as

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}
}