Making Repairs in Description Logics More Gentle

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

Contributors

Abstract

The classical approach for repairing a Description Logic ontology 𝕺 in the sense of removing an unwanted consequence 𝛂 is to delete a minimal number of axioms from 𝕺 such that the resulting ontology 𝕺' 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 notion of repair in which axioms are not 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 𝓔𝓛.

Details

Original languageEnglish
Title of host publicationPrinciples of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018
EditorsFrank Wolter, Michael Thielscher, Francesca Toni
Place of PublicationUSA
PublisherAAAI Press
Pages319-328
Number of pages10
Publication statusPublished - 30 Oct 2018
Peer-reviewedYes

External IDs

Scopus 85065970164
ORCID /0000-0002-4049-221X/work/142247866
ORCID /0000-0002-9047-7624/work/142251245
ORCID /0000-0003-0219-0330/work/153109379

Keywords