Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Efficient TBox Reasoning with Value Restrictions using the
  $\mathcal{FL}_{o}$wer reasoner   The inexpressive Description Logic (DL) $\mathcal{FL}_0$, which has
conjunction and value restriction as its only concept constructors, had fallen
into disrepute when it turned out that reasoning in $\mathcal{FL}_0$ w.r.t.
general TBoxes is ExpTime-complete, i.e., as hard as in the considerably more
expressive logic $\mathcal{ALC}$. In this paper, we rehabilitate
$\mathcal{FL}_0$ by presenting a dedicated subsumption algorithm for
$\mathcal{FL}_0$, which is much simpler than the tableau-based algorithms
employed by highly optimized DL reasoners. Our experiments show that the
performance of our novel algorithm, as prototypically implemented in our
$\mathcal{FL}_o$wer reasoner, compares very well with that of the highly
optimized reasoners. $\mathcal{FL}_o$wer can also deal with ontologies written
in the extension $\mathcal{FL}_{\bot}$ of $\mathcal{FL}_0$ with the top and the
bottom concept by employing a polynomial-time reduction, shown in this paper,
which eliminates top and bottom. We also investigate the complexity of
reasoning in DLs related to the Horn-fragments of $\mathcal{FL}_0$ and
$\mathcal{FL}_{\bot}$.

12
The categories of this paper are: nucl-th
2
The categories of this paper are: math
21
The categories of this paper are: adap-org
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat
29
The categories of this paper are: funct-an
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg
24
The categories of this paper are: dg-ga