Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: ABox Abduction via Forgetting in ALC (Long Version)   Abductive reasoning generates explanatory hypotheses for new observations
using prior knowledge. This paper investigates the use of forgetting, also
known as uniform interpolation, to perform ABox abduction in description logic
(ALC) ontologies. Non-abducibles are specified by a forgetting signature which
can contain concept, but not role, symbols. The resulting hypotheses are
semantically minimal and each consist of a set of disjuncts. These disjuncts
are each independent explanations, and are not redundant with respect to the
background ontology or the other disjuncts, representing a form of hypothesis
space. The observations and hypotheses handled by the method can contain both
atomic or complex ALC concepts, excluding role assertions, and are not
restricted to Horn clauses. Two approaches to redundancy elimination are
explored for practical use: full and approximate. Using a prototype
implementation, experiments were performed over a corpus of real world
ontologies to investigate the practicality of both approaches across several
settings.

14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
32
The categories of this paper are: atom-ph
13
The categories of this paper are: quant-ph
29
The categories of this paper are: funct-an
26
The categories of this paper are: bayes-an
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
19
The categories of this paper are: eess
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex
23
The categories of this paper are: solv-int
2
The categories of this paper are: math
36
The categories of this paper are: cmp-lg