Stefan Borgwardt, Filippo De Bortoli, and Patrick Koopmann. The Precise Complexity of Reasoning in $ALC$ with $ømega$-Admissible Concrete Domains (Extended Version). 2024. [PUMA: imported from:scadsfct] URL