The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Filippo De Bortoli - , Chair of Automata Theory, Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI) Dresden/Leipzig (Author)
Stefan Borgwardt - , Chair of Automata Theory (Author)
Patrick Koopmann - , Vrije Universiteit Amsterdam (VU) (Author)

Original language	English
Title of host publication	Proceedings of the 37th International Workshop on Description Logics (DL 2024)
Editors	Laura Giordano, Jean Christoph Jung, Ana Ozaki
Publisher	CEUR-WS.org
Volume	3739
Publication status	Published - Jun 2024
Peer-reviewed	Yes

ORCID	/0000-0002-8623-6465/work/165454384