Approach -- NExpTime-Complete Description Logics with Concrete Domains -- Exploiting