Mantas Šimkus

2 accepted papers

2024

Stable Model Semantics for Description Logic Terminologies

AAAI 2024technical

This paper studies a stable model semantics for Description Logic (DL) knowledge bases (KBs) and for (possibly cyclic) terminologies, ultimately showing that terminologies under the proposed semantics can be equipped with effective reasoning algorithms. The semantics is derived using Quantified Equi…

Cited by 2 Source ↗PDF ↗Scholar ↗

2023

Description Logics with Pointwise Circumscription

Federica Di Stefano, Magdalena Ortiz, Mantas Šimkus

IJCAI 2023poster

Circumscription is one of the most powerful ways to extend Description Logics (DLs) with non-monotonic reasoning features, albeit with huge computational costs and undecidability in many cases. In this paper, we introduce pointwise circumscription for DLs, which is not only intuitive in terms of kno…

Cited by 6 Source ↗PDF ↗Scholar ↗