Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Conjunctive Query Answering for the Description Logic SHIQ   Conjunctive queries play an important role as an expressive query language
for Description Logics (DLs). 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 unions of conjunctive queries over knowledge bases formulated in
the prominent DL SHIQ and allow transitive roles in both the query and the
knowledge base. We show decidability of query answering in this setting and
establish two tight 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, which is optimal. Regarding data complexity, we prove containment in
co-NP.

10
The categories of this paper are: q-bio
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
2
The categories of this paper are: math
20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
14
The categories of this paper are: math-ph
13
The categories of this paper are: quant-ph
3
The categories of this paper are: physics
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
32
The categories of this paper are: atom-ph
37
The categories of this paper are: supr-con