Query Answering in Description Logics: The Knots Approach

  • Authors:

  • Thomas Eiter;Carsten Lutz;Magdalena Ortiz;Mantas Šimkus

  • Affiliations:

  • Institute of Information Systems, Vienna University of Technology, Vienna, Austria A-1040;Fachbereich Mathematik und Informatik, University of Bremen, Bremen, Germany D-28359;Institute of Information Systems, Vienna University of Technology, Vienna, Austria A-1040;Institute of Information Systems, Vienna University of Technology, Vienna, Austria A-1040

  • Venue:
  • WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

In the recent years, query answering over Description Logic (DL) knowledge bases has been receiving increasing attention, and various methods and techniques have been presented for this problem. In this paper, we consider knots, which are an instance of the mosaic technique from Modal Logic. When annotated with suitable query information, knots are a flexible tool for query answering that allows for solving the problem in a simple and intuitive way. The knot approach yields optimal complexity bounds, as we illustrate on the DLs $\mathcal {ALCH}$ and $\mathcal{ALCHI}$, and can be easily extended to accommodate other constructs.