2009 | OriginalPaper | Chapter
Query Answering in Description Logics: The Knots Approach
Authors : Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Šimkus
Published in: Logic, Language, Information and Computation
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.