Optimal ABox Repair w.r.t. Static EL TBoxes: From Quantified ABoxes Back to ABoxes

Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

Errors in Description Logic (DL) ontologies are often detected when a reasoner computes unwanted consequences. The question is then how to repair the ontology such that the unwanted consequences no longer follow, but as many of the other consequences as possible are preserved. The problem of computing such optimal repairs was addressed in our previous work in the setting where the data (expressed by an ABox) may contain errors, but the schema (expressed by an EL TBox) is assumed to be correct. Actually, we consider a generalization of ABoxes called quantified ABoxes (qABoxes) both as input for and as result of the repair process. Using qABoxes for repair allows us to retain more information, but the disadvantage is that standard DL systems do not accept qABoxes as input. This raises the question, investigated in the present paper, whether and how one can obtain optimal repairs if one restricts the output of the repair process to being ABoxes. In general, such optimal ABox repairs need not exist. Our main contribution is that we show how to decide the existence of optimal ABox repairs in exponential time, and how to compute all such repairs in case they exist.
Original languageEnglish
Title of host publicationThe Semantic Web - 19th International Conference, ESWC 2022, Proceedings
EditorsP. Groth, M. Vidal, F. Suchanek, P. Szekley, P. Kapanipathi, C. Pesquita, H. Skaf-Molli, M. Tamper
PublisherSpringer Science and Business Media Deutschland GmbH
Pages130-146
ISBN (Print)9783031069802
DOIs
Publication statusPublished - 2022
Externally publishedYes
Event19th International Conference on European Semantic Web Conference, ESWC 2022 - Hersonissos, Greece
Duration: 29 May 20222 Jun 2022

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference19th International Conference on European Semantic Web Conference, ESWC 2022
Country/TerritoryGreece
CityHersonissos
Period29/05/222/06/22

Funding

This work was partially supported by the AI competence center ScaDS.AI Dresden/Leipzig and the Deutsche Forschungsgemeinschaft (DFG), Grant 430150274, and Grant 389792660 within TRR 248.

FundersFunder number
Deutsche ForschungsgemeinschaftTRR 248, 389792660, 430150274

    Fingerprint

    Dive into the research topics of 'Optimal ABox Repair w.r.t. Static EL TBoxes: From Quantified ABoxes Back to ABoxes'. Together they form a unique fingerprint.

    Cite this