Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Signature-Based Abduction with Fresh Individuals and Complex Concepts
  for Description Logics (Extended Version)   Given a knowledge base and an observation as a set of facts, ABox abduction
aims at computing a hypothesis that, when added to the knowledge base, is
sufficient to entail the observation. In signature-based ABox abduction, the
hypothesis is further required to use only names from a given set. This form of
abduction has applications such as diagnosis, KB repair, or explaining missing
entailments. It is possible that hypotheses for a given observation only exist
if we admit the use of fresh individuals and/or complex concepts built from the
given signature, something most approaches for ABox abduction so far do not
support or only support with restrictions. In this paper, we investigate the
computational complexity of this form of abduction -- allowing either fresh
individuals, complex concepts, or both -- for various description logics, and
give size bounds on the hypotheses if they exist.

30
The categories of this paper are: q-alg
13
The categories of this paper are: quant-ph
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
32
The categories of this paper are: atom-ph
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
2
The categories of this paper are: math
20
The categories of this paper are: acc-phys
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph