TY - GEN
T1 - Visualizing proofs and the modular structure of ontologies to support ontology repair
AU - Alrabbaa, Christian
AU - Baader, Franz
AU - Dachselt, Raimund
AU - Flemisch, Tamara
AU - Koopmann, Patrick
PY - 2020
Y1 - 2020
N2 - The classical approach for repairing a Description Logic (DL) ontology in the sense of removing an unwanted consequence is to delete a minimal number of axioms from the ontology such that the resulting ontology no longer has the consequence. While there are automated tools for computing all possible such repairs, the user still needs to decide by hand which of the (potentially exponentially many) repairs to choose. In this paper, we argue that exploring a proof of the unwanted consequence may help us to locate other erroneous consequences within the proof, and thus allows us to make a more informed decision on which axioms to remove. In addition, we suggest that looking at the so-called atomic decomposition, which describes the modular structure of the ontology, enables us to judge the impact that removing a certain axiom has. Since both proofs and atomic decompositions of ontologies may be large, visual support for inspecting them is required. We describe a prototypical system that can visualize proofs and the atomic decomposition in an integrated visualization tool to support ontology debugging.
AB - The classical approach for repairing a Description Logic (DL) ontology in the sense of removing an unwanted consequence is to delete a minimal number of axioms from the ontology such that the resulting ontology no longer has the consequence. While there are automated tools for computing all possible such repairs, the user still needs to decide by hand which of the (potentially exponentially many) repairs to choose. In this paper, we argue that exploring a proof of the unwanted consequence may help us to locate other erroneous consequences within the proof, and thus allows us to make a more informed decision on which axioms to remove. In addition, we suggest that looking at the so-called atomic decomposition, which describes the modular structure of the ontology, enables us to judge the impact that removing a certain axiom has. Since both proofs and atomic decompositions of ontologies may be large, visual support for inspecting them is required. We describe a prototypical system that can visualize proofs and the atomic decomposition in an integrated visualization tool to support ontology debugging.
UR - http://www.scopus.com/inward/record.url?scp=85091434126&partnerID=8YFLogxK
M3 - Conference contribution
VL - 2663
T3 - CEUR Workshop Proceedings
BT - DL 2020 - Proceedings of the 33rd International Workshop on Description Logics, co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
A2 - Borgwardt, S.
A2 - Meyer, T.
PB - CEUR-WS
T2 - 33rd International Workshop on Description Logics, DL 2020
Y2 - 12 September 2020 through 14 September 2020
ER -
