A Validation Technique for Integrated Ontologies

Authors: Neli P. Zlatareva

Abstract:

Ontology validation is an important part of web applications’ development, where knowledge integration and ontological reasoning play a fundamental role. It aims to ensure the consistency and correctness of ontological knowledge and to guarantee that ontological reasoning is carried out in a meaningful way. Existing approaches to ontology validation address more or less specific validation issues, but the overall process of validating web ontologies has not been formally established yet. As the size and the number of web ontologies continue to grow, more web applications’ developers will rely on the existing repository of ontologies rather than develop ontologies from scratch. If an application utilizes multiple independently created ontologies, their consistency must be validated and eventually adjusted to ensure proper interoperability between them. This paper presents a validation technique intended to test the consistency of independent ontologies utilized by a common application.

Keywords: Knowledge engineering, ontological reasoning, ontology validation, semantic web.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1107337

References:

[1] M. Gueffaz, P. Pittet, S. Rampacek, C. Cruz, and C. Nicolle, “Inconsistency Identification in Dynamic Ontologies Based on Model Checking” , in Proc. 8th Int. Conf. on Web Information Systems and Technologies, April 2012, Porto, Portugal, pp. 418–421.
[2] M. Horridge, B. Parsia, and U.Sattler, Explaining inconsistencies in OWL ontologies, in Scalable Uncertainty Management, Lecture Notes in Computer Science, vol. 5785, SpringerLink, 2009, pp. 124-137.
[3] P. Shvaiko and J. Euzanat, Ontology matching: state of the art and future challenges. IEEE Transactions on Knowledge and Data Engineering, IEEE, 2013, 25 (1) 00. 158-176.
[4] B. Grau et al., “Results of the Ontology Alignment Evaluation Initiative 2013”, http://oaei.ontologymatching.org
[5] T. Eiter, M. Fink, P. Schuller, and A. Weinzierl, “Finding explanations of inconsistency in multi-context systems”, Artificial Intelligence, 216, Elsevier Publ., 2014 pp. 233-274.
[6] K. Kotis, G. Vouros, and K. Stergiou, “Towards automatic merging of domain ontologies: The HCONE-merge approach”, Journal of Web Semantics, 4(1), 2006.
[7] N. Anjum, J. Harding, B. Young, K. Case, “Analysis of Ontology Mapping tools and Techniques”. Enterprise Interoperability IV, Springer, 2010.
[8] D. Bell, G. Qi, W. Liu “Approaches to inconsistency handling in description-logic based ontologies”, In Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II, 2007, Springer-Verlag, pp. 1303- 1311.
[9] Y.Ma, P. Hitzler and Z.Lin, “Algorithms for Paraconsistent Reasoning with OWL,” In Proc. ESWC’2007.
[10] T. Lukasiewicz, “Expressive probabilistic description logics,” Artificial Intelligence Journal, vol. 172, no. 6-7, 2008, pp. 852-888.
[11] N. Zlatareva, “Context-dependent reasoning for the Semantic Web”, Journal of Systemics, Cybernetics and Informatics, vol. 9, number 4, 2011, IIIS Press.
[12] N. Zlatareva and M. Misheva, “Alignment of Heterogeneous Ontologies: A Practical Approach to Testing for Similarities and Discrepancies. In Proc. 21st International FLAIRS Conference, AAAI Press, 2008.
[13] A. Ginsberg, “Theory reduction, theory revision, and retranslation”, In Proc. 8th National Conference on Artificial Intelligence, vol. 2, 1990, MIT Press, pp. 777-782.
[14] A. Krisnadhi, F. Maier, and P. Hitzler, “OWL and Rules”, In Proc. 7th International Conference on Reasoning Web: Semantic Technologies for the web of data, 2011, Springer-Verlag, pp. 382-415.
[15] B. Motic and R.Rosati, “Reconciling Description Logics and Rules”, Journal of the ACM, vol.57, No.5, 2010.