A Rational Entailment for Expressive Description Logics via Description Logic Programs
Logic in Computer Science
2022-03-10 v1 Artificial Intelligence
Abstract
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 non-monotone DL knowledge base into a description logic program (dl-program).
Keywords
Cite
@article{arxiv.2107.06075,
title = {A Rational Entailment for Expressive Description Logics via Description Logic Programs},
author = {Giovanni Casini and Umberto Straccia},
journal= {arXiv preprint arXiv:2107.06075},
year = {2022}
}