The Precise Complexity of Reasoning in ALC with ω-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)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
%T The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains
%V 3739
@inproceedings{BaBoKo-DL-24,
added-at = {2024-11-22T11:32:53.000+0100},
address = {Bergen, Norway},
author = {Borgwardt, Stefan and De Bortoli, Filippo and Koopmann, Patrick},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2189c3de48753c849454eeb5d20145228/s5845789},
booktitle = {Proceedings of the 37th International Workshop on Description Logics (DL'24)},
editor = {Giordano, Laura and Jung, Jean Christoph and Ozaki, Ana},
interhash = {e213e306bf71b1bd195790cee31eec39},
intrahash = {189c3de48753c849454eeb5d20145228},
keywords = {},
publisher = {CEUR-WS},
series = {CEUR Workshop Proceedings},
timestamp = {2024-11-22T11:32:53.000+0100},
title = {The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains},
volume = 3739,
year = 2024
}
