Abstract
The conception of an ontology is a complex task influenced by numerous factors like the point of view of the authors or the level of details. Consequently, several ontologies have been developed to model identical or related domains leading to partially overlapping representations. This divergence of conceptualization requires the study of ontologies merging in order to create a common repository of knowledge and integrate various sources of information. In this paper, we propose a formal approach for merging ontologies using typed graph grammars. This method relies on the algebraic approach to graph transformations, SPO (Simple PushOut) which allows a formal representation and ensures the consistence of the results. Furthermore, a new ontologies merging algorithm called GROM (Graph Rewriting for Ontology Merging) is presented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Staab, S., Studer, R.: Handbook on ontologies. Springer (2010)
Rosse, C., Mejino Jr., J.L.: A reference ontology for biomedical informatics: the foundational model of anatomy. Journal of Biomedical Informatics 36(6), 478–500 (2003)
Klein, M.: Combining and relating ontologies: an analysis of problems and solutions. In: IJCAI-2001, Workshop on Ontologies and Information Sharing, pp. 53–62 (2001)
Ehrig, H., Montanari, U., Rozenberg, G., Schneider, H.J.: Graph Transformations in Computer Science. Geschäftsstelle Schloss Dagstuhl (1996)
Zimmermann, A., Krotzsch, M., Euzenat, J., Hitzler, P.: Formalizing ontology alignment and its operations with category theory. Frontiers in Artificial Intelligence and Applications 150, 277–288 (2006)
d’Aquin, M., Doran, P., Motta, E., Tamma, V.A.: Towards a parametric ontology modularization framework based on graph transformation. In: WoMO (2007)
Cafezeiro, I., Haeusler, E.H.: Semantic interoperability via category theory. In: 26th International Conference on Conceptual Modeling, pp. 197–202. Australian Computer Society, Inc. (2007)
De Leenheer, P., Mens, T.: Using graph transformation to support collaborative ontology evolution. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 44–58. Springer, Heidelberg (2008)
Javed, M., Abgaz, Y.M., Pahl, C.: Ontology change management and identification of change patterns. Journal on Data Semantics 2(2-3), 119–143 (2013)
Mahfoudh, M., Forestier, G., Thiry, L., Hassenforder, M.: Consistent ontologies evolution using graph grammars. In: Wang, M. (ed.) KSEM 2013. LNCS, vol. 8041, pp. 64–75. Springer, Heidelberg (2013)
Rozenberg, G.: Handbook of graph grammars and computing by graph transformation, vol. 1. World Scientific (1999)
Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: An algebraic approach. In: Switching and Automata Theory (SWAT), pp. 167–180. IEEE (1973)
Barr, M., Wells, C.: Category theory for computing science, vol. 10. Prentice Hall, New York (1990)
Fokkinga, M.M.: A gentle introduction to category theory — the calculational approach. In: Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics, pp. 1–72. University of Utrecht (1992)
Löwe, M.: Algebraic approach to single-pushout graph transformation. Theoretical Computer Science 109(1), 181–224 (1993)
Ehrig, H.: Introduction to the algebraic theory of graph grammars (a survey). In: Claus, V., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol. 73, pp. 1–69. Springer, Heidelberg (1979)
Ivanov, P., Voigt, K.: Schema, ontology and metamodel matching - different, but indeed the same? In: Bellatreche, L., Mota Pinto, F. (eds.) MEDI 2011. LNCS, vol. 6918, pp. 18–30. Springer, Heidelberg (2011)
Levenshtein, V.I.: Binary codes capable of correcting deletions, insertions and reversals. In: Soviet physics doklady, vol. 10, pp. 707–710 (1966)
Do, H.H., Rahm, E.: Coma: a system for flexible combination of schema matching approaches. In: 28th International Conference on Very Large Data Bases (VLDB), VLDB Endowment, pp. 610–621 (2002)
Miller, G.A.: Wordnet: A lexical database for english. Communications of the ACM 38(11), 39–41 (1995)
Shvaiko, P., Euzenat, J.: Ontology matching: state of the art and future challenges (2012)
Raunich, S., Rahm, E.: Towards a benchmark for ontology merging. In: Herrero, P., Panetto, H., Meersman, R., Dillon, T. (eds.) OTM-WS 2012. LNCS, vol. 7567, pp. 124–133. Springer, Heidelberg (2012)
Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the use of graph transformations in the formal specification of computer-based systems. In: IEEE TC-ECBS and IFIP10. 1 Joint Workshop on Formal Specifications of Computer-Based Systems, pp. 19–27 (2003)
Noy, N.F., Musen, M.A.: Algorithm and tool for automated ontology merging and alignment. In: 17th National Conference on Artificial Intelligence (AAAI), pp. 450–455. AAAI Press/The MIT Press (2000)
Nováček, V., Smrž, P.: Empirical merging of ontologies — A proposal of universal uncertainty representation framework. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 65–79. Springer, Heidelberg (2006)
Li, G., Luo, Z., Shao, J.: Multi-mapping based ontology merging system design. In: 2nd International Conference onAdvanced Computer Control (ICACC), vol. 2, pp. 5–11. IEEE (2010)
Raunich, S., Rahm, E.: Atom: Automatic target-driven ontology merging. In: 27th International Conference on Data Engineering (ICDE), pp. 1276–1279. IEEE (2011)
Fareh, M., Boussaid, O., Chalal, R., Mezzi, M., Nadji, K.: Merging ontology by semantic enrichment and combining similarity measures. International Journal of Metadata, Semantics and Ontologies 8(1), 65–74 (2013)
Hitzler, P., Krötzsch, M., Ehrig, M., Sure, Y.: What is ontology merging? In: American Association for Artificial Intelligence (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Mahfoudh, M., Thiry, L., Forestier, G., Hassenforder, M. (2014). Algebraic Graph Transformations for Merging Ontologies. In: Ait Ameur, Y., Bellatreche, L., Papadopoulos, G.A. (eds) Model and Data Engineering. MEDI 2014. Lecture Notes in Computer Science, vol 8748. Springer, Cham. https://doi.org/10.1007/978-3-319-11587-0_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-11587-0_16
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11586-3
Online ISBN: 978-3-319-11587-0
eBook Packages: Computer ScienceComputer Science (R0)