TY - GEN
T1 - Optimal ABox Repair w.r.t. Static EL TBoxes
T2 - 19th International Conference on European Semantic Web Conference, ESWC 2022
AU - Baader, Franz
AU - Koopmann, Patrick
AU - Kriegel, Francesco
AU - Nuradiansyah, Adrian
PY - 2022
Y1 - 2022
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85131920101&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-06981-9_8
DO - 10.1007/978-3-031-06981-9_8
M3 - Conference contribution
SN - 9783031069802
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 130
EP - 146
BT - The Semantic Web - 19th International Conference, ESWC 2022, Proceedings
A2 - Groth, P.
A2 - Vidal, M.
A2 - Suchanek, F.
A2 - Szekley, P.
A2 - Kapanipathi, P.
A2 - Pesquita, C.
A2 - Skaf-Molli, H.
A2 - Tamper, M.
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 29 May 2022 through 2 June 2022
ER -