Connection-minimal Abduction in EL via Translation to FOL – Technical Report

05/17/2022
by   Fajar Haifani, et al.
0

Abduction in description logics finds extensions of a knowledge base to make it entail an observation. As such, it can be used to explain why the observation does not follow, to repair incomplete knowledge bases, and to provide possible explanations for unexpected observations. We consider TBox abduction in the lightweight description logic EL, where the observation is a concept inclusion and the background knowledge is a TBox, i.e., a set of concept inclusions. To avoid useless answers, such problems usually come with further restrictions on the solution space and/or minimality criteria that help sort the chaff from the grain. We argue that existing minimality notions are insufficient, and introduce connection minimality. This criterion follows Occam's razor by rejecting hypotheses that use concept inclusions unrelated to the problem at hand. We show how to compute a special class of connection-minimal hypotheses in a sound and complete way. Our technique is based on a translation to first-order logic, and constructs hypotheses based on prime implicates. We evaluate a prototype implementation of our approach on ontologies from the medical domain.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/01/2020

Signature-Based Abduction for Expressive Description Logics – Technical Report

Signature-based abduction aims at building hypotheses over a specified s...
research
11/13/2018

ABox Abduction via Forgetting in ALC (Long Version)

Abductive reasoning generates explanatory hypotheses for new observation...
research
05/01/2021

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 abduct...
research
08/01/2018

Repairing Description Logic Ontologies by Weakening Axioms

The classical approach for repairing a Description Logic ontology O in t...
research
08/27/2021

Cleaning Inconsistent Data in Temporal DL-Lite Under Best Repair Semantics

In this paper, we address the problem of handling inconsistent data in T...
research
05/27/2011

Extensible Knowledge Representation: the Case of Description Reasoners

This paper offers an approach to extensible knowledge representation and...
research
05/20/2023

Interactive Model Expansion in an Observable Environment

Many practical problems can be understood as the search for a state of a...

Please sign up or login with your details

Forgot password? Click here to reset