Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Answering Regular Path Queries Over SQ Ontologies   We study query answering in the description logic $\mathcal{SQ}$ supporting
qualified number restrictions on both transitive and non-transitive roles. Our
main contributions are a tree-like model property for $\mathcal{SQ}$ knowledge
bases and, building upon this, an optimal automata-based algorithm for
answering positive existential regular path queries in 2ExpTime.

8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
27
The categories of this paper are: comp-gas
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
35
The categories of this paper are: mtrl-th
9
The categories of this paper are: nlin
20
The categories of this paper are: acc-phys
3
The categories of this paper are: physics