Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Introducing Nominals to the Combined Query Answering Approaches for EL   So-called combined approaches answer a conjunctive query over a description
logic ontology in three steps: first, they materialise certain consequences of
the ontology and the data; second, they evaluate the query over the data; and
third, they filter the result of the second phase to eliminate unsound answers.
Such approaches were developed for various members of the DL-Lite and the EL
families of languages, but none of them can handle ontologies containing
nominals. In our work, we bridge this gap and present a combined query
answering approach for ELHO---a logic that contains all features of the OWL 2
EL standard apart from transitive roles and complex role inclusions. This
extension is nontrivial because nominals require equality reasoning, which
introduces complexity into the first and the third step. Our empirical
evaluation suggests that our technique is suitable for practical application,
and so it provides a practical basis for conjunctive query answering in a large
fragment of OWL 2 EL.

28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
18
The categories of this paper are: econ
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th