Conjunctive Query Answering for the Description Logic SHIQ

  • Published 2006

Abstract

Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). However, although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood if transitive roles are admitted in the query. In this paper, we consider conjunctive queries over knowledge bases formulated in the popular DL SHIQ and allow transitive roles in both the query and the knowledge base. We show decidability of query answering in this setup and establish two complexity bounds: regarding combined complexity, we prove that there is a deterministic algorithm for query answering that needs time single exponential in the size of the KB and double exponential in the size of the query. Regarding data complexity, we prove co-NP-completeness.

02040'06'07'08'09'10'11'12'13'14'15'16'17
Citations per Year

280 Citations

Semantic Scholar estimates that this publication has 280 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{2006ConjunctiveQA, title={Conjunctive Query Answering for the Description Logic SHIQ}, author={}, year={2006} }