Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards Unveiling the Ontology Key Features Altering Reasoner
  Performances   Reasoning with ontologies is one of the core fields of research in
Description Logics. A variety of efficient reasoner with highly optimized
algorithms have been developed to allow inference tasks on expressive ontology
languages such as OWL(DL). However, reasoner reported computing times have
exceeded and sometimes fall behind the expected theoretical values. From an
empirical perspective, it is not yet well understood, which particular aspects
in the ontology are reasoner performance degrading factors. In this paper, we
conducted an investigation about state of art works that attempted to portray
potential correlation between reasoner empirical behaviour and particular
ontological features. These works were analysed and then broken down into
categories. Further, we proposed a set of ontology features covering a broad
range of structural and syntactic ontology characteristics. We claim that these
features are good indicators of the ontology hardness level against reasoning
tasks.

20
The categories of this paper are: acc-phys
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc
19
The categories of this paper are: eess
6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci
36
The categories of this paper are: cmp-lg
13
The categories of this paper are: quant-ph