Stable Model Semantics for Description Logic Terminologies (Extended Abstract)

Di Stefano, Federica; Simkus, Mantas

doi:10.34726/8504

Record link:

http://hdl.handle.net/20.500.12708/210629
https://doi.org/10.34726/8504

Title:

Stable Model Semantics for Description Logic Terminologies (Extended Abstract)

Citation:

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

reposiTUm DOI:

10.34726/8504

CatalogPlus:

AC17425562

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Di Stefano, Federica
Simkus, Mantas

Organisational Unit:

E192-02 - Forschungsbereich Databases and Artificial Intelligence

Published in:

Proceedings of the 37th International Workshop on Description Logics (DL 2024)

Volume:

3739

Date (published):

5-Aug-2024

Event name:

Description Logics (DL 2024)

Event date:

18-Jun-2024 - 21-Jun-2024

Event place:

Bergen, Norway

Number of Pages:

Keywords:

Description Logics; Non-monotonic Reasoning; Knowledge Representation

Abstract:

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.

Project title:

Compiling Knowledge into Applications: P30873-N35 (FWF - Österr. Wissenschaftsfonds)

Research Areas:

Logic and Computation: 100%

Science Branch:

1020 - Informatik: 80%
1010 - Mathematik: 20%

License:

CC BY 4.0