Di Stefano, F., & Simkus, M. (2024). Stable Model Semantics for Description Logic Terminologies (Extended Abstract). In Proceedings of the 37th International Workshop on Description Logics (DL 2024). Description Logics (DL 2024), Bergen, Norway. https://doi.org/10.34726/8504
This paper is an extended abstract of our recent work on proposing a stable model semantics for Description Logic terminologies. Our semantics is based on Quantified Equilibrium Logic and overcomes some limitations of previous approaches. We prove that standard reasoning problems w.r.t. terminologies in ALCI under the stable model semantics are decidable in deterministic single exponential time. In contrast, we show that concept satisfiability w.r.t. general KBs in ALCI under the stable model semantics is undecidable.
en
Projekttitel:
Compiling Knowledge into Applications: P30873-N35 (FWF - Österr. Wissenschaftsfonds)
CC BY 4.0
