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

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: SACAIR 2021 - Second Southern African Conference, pp. 177–191, Durban, South Africa, 6-10/12/2021

Publisher: Springer, Berlin, DEU

Metrics

Back to previous page

Cite as

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, Berlin, DEU},
	doi = {10.1007/978-3-030-95070-5_12},
	booktitle = {SACAIR 2021 - Second Southern African Conference, pp. 177–191, Durban, South Africa, 6-10/12/2021},
	year = {2022}
}