Abstract
The quality of ontologies in terms of their correctness and completeness is crucial for developing high-quality ontology-based applications. Traditional debugging techniques repair ontologies by removing unwanted axioms, but may thereby remove consequences that are correct in the domain of the ontology. We propose an interactive approach to mitigate the negative effects of removing unwanted axioms for \({\mathcal{E}\mathcal{L}}\) ontologies by axiom weakening and completing. This is the first approach that allows for different ways to combine removing, weakening and completing. The choice of combination strategy influences the amount of work for a domain expert as well as the completeness of the repaired ontology. In this paper we describe a system based on a repairing approach that allows for different such combinations (This is a companion paper to [3], a paper accepted at the main track of ESWC 2023, and presents one of the two systems proposed in [3].).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We also implemented a stand-alone system based on the \(\mathcal{E}\mathcal{L}\) version of the RepOSE system [5] where the user can choose different ways to combine removing, weakening, completing and updating strategies, thereby providing a choice in the trade-off between validation work and completeness of the repaired ontology. The systems are available at https://www.ida.liu.se/~patla00/publications/ESWC2023/ and a demo for the Protégé plugin is available at https://www.ida.liu.se/~patla00/publications/ESWC2023/Demo-video.mp4.
- 2.
The possibility of multiple iterations of the completing phase is an extension of the method in [3]. This can be done by clicking the Next iteration button.
References
Kalyanpur, A., et al.: Debugging unsatisfiable classes in OWL ontologies. J. Web Semant. 3(4), 268–293 (2005)
Lambrix, P.: Completing and debugging ontologies: state of the art and challenges in repairing ontologies. J. Data Inf. Q. (2023)
Li, Y., Lambrix, P.: Repairing \(\cal{EL} \) ontologies using weakening and completing. In: Pesquita, C., et al. (eds.) ESWC 2023. LNCS, vol. 13870, pp. 298–315. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-33455-9_18
Pesquita, C., et al.: To repair or not to repair: reconciling correctness and coherence in ontology reference alignments. In: 8th Ontology Matching, pp. 13–24 (2013)
Wei-Kleiner, F., Dragisic, Z., Lambrix, P.: Abduction framework for repairing incomplete \(\cal{EL} \) ontologies: complexity results and algorithms. In: AAAI, pp. 1120–1127 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Li, Y., Lambrix, P. (2023). A System for Repairing \({\mathcal{E}\mathcal{L}}\) Ontologies Using Weakening and Completing. In: Pesquita, C., et al. The Semantic Web: ESWC 2023 Satellite Events. ESWC 2023. Lecture Notes in Computer Science, vol 13998. Springer, Cham. https://doi.org/10.1007/978-3-031-43458-7_19
Download citation
DOI: https://doi.org/10.1007/978-3-031-43458-7_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-43457-0
Online ISBN: 978-3-031-43458-7
eBook Packages: Computer ScienceComputer Science (R0)