Repairing Description Logic Ontologies by Weakening Axioms

by   Franz Baader, et al.

The classical approach for repairing a Description Logic ontology O in the sense of removing an unwanted consequence α is to delete a minimal number of axioms from O such that the resulting ontology O' does not have the consequence α. However, the complete deletion of axioms may be too rough, in the sense that it may also remove consequences that are actually wanted. To alleviate this problem, we propose a more gentle way of repair in which axioms are not necessarily deleted, but only weakened. On the one hand, we investigate general properties of this gentle repair method. On the other hand, we propose and analyze concrete approaches for weakening axioms expressed in the Description Logic EL.


page 1

page 2

page 3

page 4


Evonne: Interactive Proof Visualization for Description Logics (System Description) – Extended Version

Explanations for description logic (DL) entailments provide important su...

Repairing ℰℒ Ontologies Using Weakening and Completing

The quality of ontologies in terms of their correctness and completeness...

Provenance for the Description Logic ELHr

We address the problem of handling provenance information in ELHr ontolo...

Consequence-Based Axiom Pinpointing

Axiom pinpointing refers to the problem of finding the axioms in an onto...

Why Not? Explaining Missing Entailments with Evee (Technical Report)

Understanding logical entailments derived by a description logic reasone...

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

Abduction in description logics finds extensions of a knowledge base to ...

Model-Based Diagnosis using Structured System Descriptions

This paper presents a comprehensive approach for model-based diagnosis w...

Please sign up or login with your details

Forgot password? Click here to reset