\({\mathcal{ALC}_\mathcal{ALC}}\): A Context Description Logic

  • Szymon Klarman
  • Víctor Gutiérrez-Basulto
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6341)

Abstract

We develop a novel description logic (DL) for representing and reasoning with contextual knowledge. Our approach descends from McCarthy’s tradition of treating contexts as formal objects over which one can quantify and express first-order properties. As a foundation we consider several common product-like combinations of DLs with multimodal logics and adopt the prominent \((\mathbf{K}_n)_\mathcal{ALC}\). We then extend it with a second sort of vocabulary for describing contexts, i.e., objects of the second dimension. In this way, we obtain a two-sorted, two-dimensional combination of a pair of DLs\(\mathcal{ALC}\), called \({\mathcal{ALC}_\mathcal{ALC}}\). As our main technical result, we show that the satisfiability problem in this logic, as well as in its proper fragment \((\mathbf{K}_n)_\mathcal{ALC}\) with global TBoxes and local roles, is 2ExpTime-complete. Hence, the surprising conclusion is that the significant increase in the expressiveness of \({\mathcal{ALC}_\mathcal{ALC}}\) due to adding the vocabulary comes for no substantial price in terms of its worst-case complexity.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Szymon Klarman
    • 1
  • Víctor Gutiérrez-Basulto
    • 2
  1. 1.Department of Computer ScienceVrije UniversiteitAmsterdam
  2. 2.Department of Computer ScienceUniversität Bremen 

Personalised recommendations