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

2021

Other 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).

Metrics

Back to previous page

Cite as

BibTeX entry

@misc{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},
	year = {2021}
}