… , is abduction. In this paper we introduce two novel reasoning calculi for solving ABox
abduction problems in the Description Logic ALC, ie problems of finding minimal sets of ABox …

… However, ABox abduction is far from practical by now because there lack feasible methods
… to practical ABox abduction, this paper proposes a new problem for ABox abduction and a …

… for description logic ontologies. It computes all minimal explanations (sets of ABox assertions)
… for a general problem of ABox abduction, called the query abduction problem, where an …

… Thus it is useful to extend ABox abduction to handle … To make ABox abduction works with
inconsistency, we consider … general problem for ABox abduction, the query abduction problem (…

… In this paper, the ABox abduction problem is transformed into the consistency … description
logic ALCI is extended and altered to deal with this problem. As a result, the ABox abduction …

… tasks such as concept abduction, ABox abduction, TBox abduction and KB abduction [11]. …
Therefore, we had to employ Abox abduction to capture the process of medical diagnosis. …

… For our purposes, we are interested in two forms of description logic, ALC and ALE. … define
ABox abduction in ALC as only providing solutions in ALE which does not allow disjunctions. …

… We develop an ABox abduction algorithm for description logics based on Reiter’s minimal
hitting set algorithm. It handles abduction problems … ABox abduction in the description logic …

… Summing up, the results presented in this thesis: a sound and complete ABox abduction
algorithm for the description logic ALCHO with the implementation and the results from the …

… as abduction over ontologies we focus on the description logic ALCQ. We assume that the
reader is familiar with description … introduce specific operators necessary for Abox abduction. …