Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
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 𝓔𝓛 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.
Details
Originalsprache | Englisch |
---|---|
Titel | Proceedings of the 19th Extended Semantic Web Conference (ESWC 2022), Hersonissos, Greece, May 29 - June 2, 2022 |
Redakteure/-innen | Paul Groth, Maria-Esther Vidal, Fabian Suchanek, Pedro Szekley, Pavan Kapanipathi, Catia Pesquita, Hala Skaf-Molli, Minna Tamper |
Herausgeber (Verlag) | Springer, Berlin [u. a.] |
Seiten | 130-146 |
Seitenumfang | 17 |
Publikationsstatus | Veröffentlicht - 29 Mai 2022 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | Lecture Notes in Computer Science, Volume 13261 |
---|---|
ISSN | 0302-9743 |
Konferenz
Titel | Extended Semantic Web Conference |
---|---|
Kurztitel | ESWC 2022 |
Veranstaltungsnummer | 19 |
Dauer | 29 Mai - 2 Juni 2022 |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | |
Stadt | Hersonissos |
Land | Griechenland |
Externe IDs
Scopus | 85131920101 |
---|---|
ORCID | /0000-0002-4049-221X/work/142247929 |
ORCID | /0000-0002-9047-7624/work/142251253 |
ORCID | /0000-0003-0219-0330/work/153109412 |