The Precise Complexity of Reasoning in $ALC$ with $ømega$-Admissible Concrete Domains
S. Borgwardt, F. De Bortoli, and P. Koopmann. Proceedings of the 37th International Workshop on Description Logics (DL'24), volume 3739 of CEUR Workshop Proceedings, Bergen, Norway, CEUR-WS, (2024)
%0 Conference Paper
%1 BaBoKo-DL-24
%A Borgwardt, Stefan
%A De Bortoli, Filippo
%A Koopmann, Patrick
%B Proceedings of the 37th International Workshop on Description Logics (DL'24)
%C Bergen, Norway
%D 2024
%E Giordano, Laura
%E Jung, Jean Christoph
%E Ozaki, Ana
%I CEUR-WS
%K myown
%T The Precise Complexity of Reasoning in $ALC$ with $ømega$-Admissible Concrete Domains
%V 3739
@inproceedings{BaBoKo-DL-24,
added-at = {2024-11-21T15:10:51.000+0100},
address = {Bergen, Norway},
author = {Borgwardt, Stefan and De Bortoli, Filippo and Koopmann, Patrick},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2024aca0dd526a0f90850de4f92257791/s5845789},
booktitle = {Proceedings of the 37th International Workshop on Description Logics (DL'24)},
editor = {Giordano, Laura and Jung, Jean Christoph and Ozaki, Ana},
interhash = {b211ccf6a6f38c65e3cca9130b32c504},
intrahash = {024aca0dd526a0f90850de4f92257791},
keywords = {myown},
publisher = {CEUR-WS},
series = {CEUR Workshop Proceedings},
timestamp = {2024-11-21T15:10:51.000+0100},
title = {The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $\omega$-Admissible Concrete Domains},
volume = 3739,
year = 2024
}
