The Precise Complexity of Reasoning in $\mathcal{A}\mathcal{LC}$ with $\omega$-Admissible Concrete Domains (Extended Version)

Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann

Concrete domains have been introduced in the context of Description Logics to allow references to qualitative and quantitative values. In particular, the class of $\omega$-admissible co…