mlsanityData to 7 Oct 2026

A Rational Entailment for Expressive Description Logics via Description Logic Programs

arXiv 2107.06075 ↗First posted 28 Jun 2021cs.LO cs.AIcited by 0

Not on the map. Why?

Abstract (arXiv)

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

Key facts. No citing papers in the map yet (data through 7 Oct 2026). Builds on 2 of its 26 references that are in the map. First posted on arXiv 28 Jun 2021.

Builds on

2 of 26 references.

References · 2

  1. 2018A Polynomial Time Subsumption Algorithm for Nominal Safe ELO_bot under Rational Closurecited by 8
  2. 2016ASP for Minimal Entailment in a Rational Extension of SROELcited by 2

Built on by

Not cited yet.