An ExpTime Upper Bound for $\mathcal{A}\mathcal{LC}$ with Integers (Extended Version)

Nadia Labai, Magdalena Ortiz, Mantas Šimkus

Concrete domains, especially those that allow to compare features with numeric values, have long been recognized as a very desirable extension of description logics (DLs), and sign…