The formal definition of abduction asks what needs to be added to a knowledge base to
enable an observation to be entailed by the knowledge base. ABox abduction in description …

We develop an ABox abduction algorithm for description logics based on Reiter's minimal
hitting set algorithm. It handles abduction problems with multiple observations and it …

Background With the increasing presence of biomedical data sources on the Internet more
and more research effort is put into finding possible ways for integrating and searching such …

Ontologies have been increasingly used as a core representation formalism in medical
information systems. Diagnosis is one of the highly relevant reasoning problems in this …

The AAA ABox Abduction Solver | KI - Künstliche Intelligenz Skip to main content SpringerLink
Account Menu Find a journal Publish with us Track your research Search Cart 1.Home 2.KI …

Medical diagnosis can be defined as the detection of a disease by examining a patient's
signs, symptoms and history. Diagnostic reasoning can be viewed as a process of testing …

We have implemented an ABox abduction solver based on Reiter's minimal hitting set
algorithm. Our solver runs a DL reasoner as a black box, similarly to the existing AAA solver …

ABox abduction is an important reasoning problem for description logics (DL) with
applications in diagnosis, manufacturing control, multimedia interpretation, etc. Several …

Abduction is a non-monotonic reasoning method used to derive explanations for an
observed phenomenon. By enriching the theory with the explanation, the observation is …

We investigate an application of the MergeXplain algorithm on ABox abduction. This
approach was recently proposed to address computational limitations of more traditional …