The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains
F. De Bortoli, S. Borgwardt, and P. Koopmann. Proceedings of the 37th International Workshop on Description Logics (DL 2024), 3739, CEUR-WS.org, (June 2024)
%0 Conference Paper
%1 db5154b7a0324ee29edaa1c3661473f2
%A De Bortoli, Filippo
%A Borgwardt, Stefan
%A Koopmann, Patrick
%B Proceedings of the 37th International Workshop on Description Logics (DL 2024)
%D 2024
%E Giordano, Laura
%E Jung, Jean Christoph
%E Ozaki, Ana
%I CEUR-WS.org
%K topic_knowledge FIS_scads imported
%T The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains
%V 3739
@inproceedings{db5154b7a0324ee29edaa1c3661473f2,
added-at = {2024-11-28T16:27:18.000+0100},
author = {{De Bortoli}, Filippo and Borgwardt, Stefan and Koopmann, Patrick},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/24b6a4c310081054c11182bb5ece9443e/scadsfct},
booktitle = {Proceedings of the 37th International Workshop on Description Logics (DL 2024)},
editor = {Giordano, Laura and Jung, {Jean Christoph} and Ozaki, Ana},
interhash = {135976540f4e917e6a7f0ea790a21129},
intrahash = {4b6a4c310081054c11182bb5ece9443e},
keywords = {topic_knowledge FIS_scads imported},
language = {English},
month = jun,
publisher = {CEUR-WS.org},
timestamp = {2024-11-28T17:41:05.000+0100},
title = {The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains},
volume = 3739,
year = 2024
}
