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

Abstract:

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 significant efforts have been invested into adding them to usual DLs while keeping the complexity of reasoning in check. For expressive DLs and in the presence of...More

Code:

Data: