An Embedding-Based Approach to Repairing OWL Ontologies
Source abstract
Abstract
High-quality ontologies are critical to ontology-based applications, such as natural language understanding and information extraction, but logical conflicts naturally occur in the lifecycle of ontology development. To deal with such conflicts, conflict detection and ontology repair become two critical tasks, and we focus on repairing ontologies. Most existing approaches for ontology repair rely on the syntax of axioms or logical consequences but ignore the semantics of axioms. In this paper, we propose an embedding-based approach by considering sentence embeddings of axioms, which translates axioms into semantic vectors and provides facilities to compute semantic similarities among axioms. A threshold-based algorithm and a signature-based algorithm are designed to repair ontologies with the help of detected conflicts and axiom embeddings. In the experiments, our proposed algorithms are compared with existing ones over 20 real-life incoherent ontologies. The threshold-based algorithm with different distance metrics is further evaluated with 10 distinct thresholds and 3 pre-trained models. The experimental results show that the embedding-based algorithms could achieve promising performances.
Source: crossref · Quality: baseline
Research context
OpenAlex topics: Semantic Web and Ontologies · Natural Language Processing Techniques · Service-Oriented Architecture and Web Services
SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.
Affiliations
School of Modern Posts, Nanjing University of Posts and Telecommunications, Nanjing 210003, China
School of Computer Science and Engineering, Southeast University, Nanjing 211189, China
Key Laboratory of Computer Network and Information Integration (Southeast University), Ministry of Education, Nanjing 211189, China
Funding
Natural Science Foundation of China · Foundation of Jiangsu Provincial Double-Innovation Doctor Program
References (62)
Show source-provided references
1. A linguistic ontology of space for natural language processing10.1016/j.artint.2010.05.008 ↗
2. Houssein, E., Nahed, I., Alaa, M., and Awny, S. (2022). Semantic Protocol and Resource Description Framework Query Language: A Comprehensive Review. Mathematics, 17.10.3390/math10173203 ↗
3. An ontology-based enterprise architecture10.1016/j.eswa.2009.06.073 ↗
4. The development of an ontology-based expert system for corporate financial rating10.1016/j.eswa.2007.12.044 ↗
5. An Ontology-based approach to Knowledge-assisted Integration and Visualization of Urban Mobility Data10.1016/j.eswa.2020.113260 ↗
6. Using ontologies for structuring organizational knowledge in Home Care Assistance10.1016/j.ijmedinf.2010.01.012 ↗
7. A Survey on Knowledge Graphs: Representation, Acquisition, and Applications10.1109/TNNLS.2021.3070843 ↗
8. Carlson, A., Betteridge, J., Wang, R., Hruschka, E., and Mitchell, T. (2010, January 4–6). Coupled semi-supervised learning for information extraction. Proceedings of the 3rd International Conference on Web Search and Web Data Mining, New York, NY, USA.10.1145/1718487.1718501 ↗
9. Zheng, Z., Zhou, B., Zhou, D., Cheng, G., Jiménez-Ruiz, E., Soylu, A., and Kharlamov, E. (June, January 29). Query-Based Industrial Analytics over Knowledge Graphs with Ontology Reshaping. Proceedings of the 19th Extended Semantic Web Conference, Hersonissos, Crete, Greece.
10. Zhou, D., Zhou, B., Zheng, Z., Soylu, A., Cheng, G., Jiménez-Ruiz, E., Kostylev, E., and Kharlamov, E. (2022, January 23–27). Ontology Reshaping for Knowledge Graph Construction: Applied on Bosch Welding Case. Proceedings of the 21st International Semantic Web Conference, Virtual.10.1007/978-3-031-19433-7_44 ↗
11. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P. (2010). The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press.
12. Ontology-based end-user visual query formulation: Why, what, who, how, and which?10.1007/s10209-016-0465-0 ↗
13. OptiqueVQS: A visual query system over ontologies for industry10.3233/SW-180293 ↗
14. Ontology evolution: A process-centric survey10.1017/S0269888913000349 ↗
15. Lembo, D., Rosati, R., Santarelli, V., Savo, D., and Thorstensen, E. (2017, January 19–25). Mapping Repair in Ontology-based Data Access Evolving Systems. Proceedings of the 26th International Joint Conference on Artificial Intelligence, Melbourne, Australia.10.24963/ijcai.2017/161 ↗
16. Schlobach, S., and Cornet, R. (2003, January 9–15). Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. Proceedings of the 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico.
17. Forgetting for distance-based reasoning and repair in DL-Lite10.1016/j.knosys.2016.06.020 ↗
18. Lambrix, P. (2019). Completing and Debugging Ontologies: State of the art and challenges. arXiv.
19. Measuring effectiveness of ontology debugging systems10.1016/j.knosys.2014.07.023 ↗
20. Debugging incoherent ontology by extracting a clash module and identifying root unsatisfiable concepts10.1016/j.knosys.2021.107043 ↗
21. Debugging and Repairing Incoherent Ontologies Based on the Clash Path
22. Qi, G., Haase, P., Huang, Z., Ji, Q., Pan, J., and Völker, J. (2008, January 26–30). A Kernel Revision Operator for Terminologies-Algorithms and Evaluation. Proceedings of the 7th International Semantic Web Conference, Karlsruhe, Germany.10.1007/978-3-540-88564-1_27 ↗
23. Du, J. (2018, January 26–28). Ranking Diagnoses for Inconsistent Knowledge Graphs by Representation Learning. Proceedings of the 8th Joint International Conference on Semantic Technology, Awaji, Japan.10.1007/978-3-030-04284-4_4 ↗
24. Memory-limited model-based diagnosis10.1016/j.artint.2022.103681 ↗
25. Graph-based approaches to debugging and revision of terminologies in DL-Lite10.1016/j.knosys.2016.01.039 ↗
26. Resolving Logical Contradictions in Description Logic Ontologies Based on Integer Linear Programming10.1109/ACCESS.2019.2919498 ↗
27. Kalyanpur, A., Parsia, B., Sirin, E., and Grau, B. (2006, January 11–14). Repairing Unsatisfiable Concepts in OWL Ontologies. Proceedings of the 3rd European Semantic Web Conference, Budva, Montenegro.10.1007/11762256_15 ↗
28. Horrocks, I., and Patel-Schneider, P. (2003, January 5–7). Reducing OWL Entailment to Description Logic Satisfability. Proceedings of the 2003 International Workshop on Description Logics, Rome, Italy.10.2139/ssrn.3199027 ↗
29. Horridge, M. (2011). Justification Based Explanation in Ontologies. [Ph.D. Thesis, University of Manchester].
30. Pre-trained Models for Natural Language Processing: A Survey10.1007/s11431-020-1647-3 ↗
31. Le, Q., and Mikolov, T. (2014, January 21–26). Distributed representations of sentences and documents. Proceedings of the 31th International Conference on Machine Learning, Beijing, China.
32. Mikolov, T., Sutskever, I., Chen, K., Corrado, G., and Dean, J. (2013, January 5–8). Distributed representations of words and phrases and their compositionality. Proceedings of the 27th Annual Conference on Neural Information Processing Systems, Lake Tahoe, NV, USA.
33. Bhargava, P., and Ng, V. (March, January 22). Commonsense Knowledge Reasoning and Generation with Pre-trained Language Models: A Survey. Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022, Virtual.
34. Machine Learning Techniques for Biomedical Natural Language Processing: A Comprehensive Review10.1109/ACCESS.2021.3119621 ↗
35. Devlin, J., Chang, M., Lee, K., and Toutanova, K. (2018). BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. arXiv.
36. Reimers, N., and Gurevych, I. (2019, January 3–7). Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks. Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, Hong Kong, China.10.18653/v1/D19-1410 ↗
37. Generating Natural Language Descriptions from OWL Ontologies: The NaturalOWL System10.1613/jair.4017 ↗
38. Kalyanpur, A., Parsia, B., Horridge, M., and Sirin, E. (2007, January 11–15). Finding All Justifications of OWL DL Entailments. Proceedings of the 6th International Semantic Web Conference and the 2nd Asian Semantic Web Conference, Busan, Republic of Korea.10.1007/978-3-540-76298-0_20 ↗
39. Benchmark construction and experimental evaluations for incoherent ontologies10.1016/j.knosys.2021.108090 ↗
40. Portisch, J., Hladik, M., and Paulheim, H. (2020, January 2). ALOD2Vec matcher results for OAEI 2020. Proceedings of the 15th International Workshop on Ontology Matching co-located with the 19th International Semantic Web Conference (ISWC 2020), Virtual.
41. Hertling, S., and Paulheim, H. (2020, January 2). ATBox results for OAEI 2020. Proceedings of the 15th International Workshop on Ontology Matching co-located with the 19th International Semantic Web Conference (ISWC 2020), Virtual.
42. Hu, Y., Bai, S., Zou, S., and Wang, P. (2020, January 2). Lily results for OAEI 2020. Proceedings of the 15th International Workshop on Ontology Matching co-located with the 19th International Semantic Web Conference, Virtual.
43. Iyer, V., Agarwal, A., and Kumar, H. (2020, January 2). VeeAlign: A supervised deep learning approach to ontology alignment. Proceedings of the 15th International Workshop on Ontology Matching co-located with the 19th International Semantic Web Conference, Virtual.
44. Portisch, J., and Paulheim, H. (2020, January 2). Wiktionary matcher results for OAEI 2020. Proceedings of the 15th International Workshop on Ontology Matching co-located with the 19th International Semantic Web Conference, Virtual.
45. Detecting hidden errors in an ontology using contextual knowledge10.1016/j.eswa.2017.11.034 ↗
46. Swoop: A Web Ontology Editing Browser10.1016/j.websem.2005.10.001 ↗
47. Pellet: A practical OWL-DL reasoner10.1016/j.websem.2007.03.004 ↗
48. A Graph-Based Method for Interactive Mapping Revision in DL-Lite10.1016/j.eswa.2022.118598 ↗
49. Meilicke, C., Stuckenschmidt, H., and Tamilin, A. (2008, January 13–17). Supporting Manual Mapping Revision using Logical Reasoning. Proceedings of the 23rd AAAI Conference on Artificial Intelligence, Chicago, IL, USA.
50. Interactive ontology revision10.1016/j.websem.2011.12.002 ↗
51. Interactive ontology debugging: Two query strategies for efficient fault localization10.1016/j.websem.2011.12.006 ↗
52. Rodler, P. (2016). Interactive Debugging of Knowledge Bases. arXiv.
53. Baader, F., Kriegel, F., Nuradiansyah, A., and Peñaloza, A. (November, January 30). Making Repairs in Description Logics More Gentle. Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, AZ, USA.
54. Du, J., Qi, G., and Fu, X. (2014, January 3–7). A Practical Fine-grained Approach to Resolving Incoherent OWL 2 DL Terminologies. Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, Shanghai, China.10.1145/2661829.2662046 ↗
55. A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
56. Troquard, N., Confalonieri, R., Galliani, P., Peñaloza, R., Porello, D., and Kutz, O. (2018, January 2–7). Repairing Ontologies via Axiom Weakening. Proceedings of the 32nd AAAI Conference on Artificial Intelligence, New Orleans, LA, USA.10.1609/aaai.v32i1.11567 ↗
57. Porello, D., Troquard, N., Confalonieri, R., Galliani, P., Kutz, O., and Peñaloza, R. (November, January 30). Repairing Socially Aggregated Ontologies Using Axiom Weakening. Proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, Nice, France.
58. Baader, F., Kriegel, F., Nuradiansyah, A., and Peñaloza, R. (2018). Repairing Description Logic Ontologies by Weakening Axioms. arXiv.10.25368/2022.238 ↗
59. Qi, G., and Hunter, A. (2007, January 11–15). Measuring Incoherence in Description Logic-Based Ontologies. Proceedings of the 6th International Semantic Web Conference and the 2nd Asian Semantic Web Conference, Busan, Republic of Korea.
60. Ji, Q., Gao, Z., and Huang, Z. (2014, January 18–22). Conflict Resolution in Partially Ordered OWL DL Ontologies. Proceedings of the 21st European Conference on Artificial Intelligence, Prague, Czech Republic.
61. Parallel Model-Based Diagnosis on Multi-Core Computers10.1613/jair.5001 ↗
62. Alrabbaa, C., Baader, F., Dachselt, R., Flemisch, T., and Koopmann, P. (2020, January 12–14). Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online.