Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Signature-Based Abduction for Expressive Description Logics -- Technical
  Report   Signature-based abduction aims at building hypotheses over a specified set of
names, the signature, that explain an observation relative to some background
knowledge. This type of abduction is useful for tasks such as diagnosis, where
the vocabulary used for observed symptoms differs from the vocabulary expected
to explain those symptoms. We present the first complete method solving
signature-based abduction for observations expressed in the expressive
description logic ALC, which can include TBox and ABox axioms, thereby solving
the knowledge base abduction problem. The method is guaranteed to compute a
finite and complete set of hypotheses, and is evaluated on a set of realistic
knowledge bases.

27
The categories of this paper are: comp-gas
21
The categories of this paper are: adap-org
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
26
The categories of this paper are: bayes-an
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
13
The categories of this paper are: quant-ph