NEXP TIME-complete description logics with concrete domains

  • Authors:

  • Carsten Lutz

  • Affiliations:

  • Technical University Dresden, Dresden, Germany

  • Venue:
  • ACM Transactions on Computational Logic (TOCL)
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

Concrete domains are an extension of Description Logics (DLs) that allow one to integrate reasoning about conceptual knowledge with reasoning about "concrete qualities" of real-world entities such as their sizes, weights, and durations. In this article, we are concerned with the complexity of Description Logics providing for concrete domains: starting from the complexity result established in Lutz [2002b], which states that reasoning with the basic propositionally closed DL with concrete domains ALC(D) is PSpace-complete (provided that some weak conditions are satisfied), we perform an in-depth analysis of the complexity of extensions of this logic. More precisely, we consider five natural and seemingly "harmless" extensions of ALC(D) and prove that, for all five extensions, reasoning is NExpTime-complete (again if some weak conditions are satisfied). Thus, we show that the PSpace upper bound for reasoning with ALC(D) cannot be considered robust with respect to extensions of the language.