When clinicians perform tasks involving clinical reasoning, such as the diagnosis or
treatment of diabetes, multiple forms of reasoning, including deduction and abduction, are …

Abstract Knowledge Graphs (KGs) are becoming increasingly popular in the industry and
academia. They can be represented as labelled graphs conveying structured knowledge in …

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 …

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

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 …

Planning and reasoning about actions and processes, in addition to reasoning about
propositions, are important issues in recent logical and computer science studies. The …

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 …

Many physiotherapy treatments begin with a diagnosis process. The patient describes
symptoms, upon which the physiotherapist decides which tests to perform until a final …

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

As abduction is getting more attention in the world of ontologies, multiple abduction solvers
for description logics (DL) have been developed. So far, however, there was no attempt for a …