A Validation Technique for Integrated Ontologies

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.

Authors:

• Neli P. Zlatareva

Keywords:

• Knowledge engineering
• ontological reasoning
• ontology validation
• semantic web.

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.