An FCA-based solution for ontology mediation

ABSTRACT

In this paper, we present an ontology mediation solution based on the methods frequently used in Formal Concept Analysis. Our approach of mediation means that, if we can rely on the existence of instances associated to two source ontologies, then we can generate concepts in a new ontology if and only if they share the same extent. Hence our approach creates a merged ontology which captures the knowledge of the two source ontologies. The main contributions of this work are (i) to enable the creation of concepts not originally in the source ontologies, (ii) to propose a solution to label these new emerging concepts and finally (iii) to optimize the resulting ontology by eliminating redundant or non pertinent concepts. Another contribution of this work is to emphasize that several forms of mediated ontology can be defined based on the relaxation of certain criteria produced from our method. The solution that we propose for tackling these issues is an automatic solution, meaning that it does not require the intervention of the end-user, excepting for the definition of the common set of ontology instances.

REFERENCES

• 1: Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider, The description logic handbook: theory, implementation, and applications, Cambridge University Press, New York, NY, 2003
• 2: F. Baader, B. Ganter, B. Sertkaya, U. Sattler, "Completing Description Logic Knowledge Bases Using Formal Concept Analysis" in Proc.IJCAI'07 2007, pp 230--235
• 3: B. Davey, H. Priestley, Introduction to lattices and Order New York, Cambridge University Press, 2002.
• 4: AnHai Doan , Jayant Madhavan , Pedro Domingos , Alon Halevy, Learning to map between ontologies on the semantic web, Proceedings of the 11th international conference on World Wide Web, May 07-11, 2002, Honolulu, Hawaii, USA [doi>10.1145/511446.511532]
• 5: Xin Dong , Alon Halevy , Jayant Madhavan, Reference reconciliation in complex information spaces, Proceedings of the 2005 ACM SIGMOD international conference on Management of data, June 14-16, 2005, Baltimore, Maryland [doi>10.1145/1066157.1066168]
• 6: D.Dou, D. McDermott, P. Qi, "Ontology translation by ontology merging and automated reasoning" in Proc.EKAW'02 2002,pp3--18.
• 7: Marc Ehrig, Ontology Alignment: Bridging the Semantic Gap (Semantic Web and Beyond), Springer-Verlag New York, Inc., Secaucus, NJ, 2006
• 8: Bernhard Ganter , C. Franzke , Rudolf Wille, Formal Concept Analysis: Mathematical Foundations, Springer-Verlag New York, Inc., Secaucus, NJ, 1997
• 9: Yannis Kalfoglou , Marco Schorlemmer, Ontology mapping: the state of the art, The Knowledge Engineering Review, v.18 n.1, p.1-31, January 2003 [doi>10.1017/S0269888903000651]
• 10: Paris C. Kanellakis, Elements of relational database theory, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
• 11: Boris Motik , Ian Horrocks , Ulrike Sattler, Bridging the gap between OWL and relational databases, Proceedings of the 16th international conference on World Wide Web, May 08-12, 2007, Banff, Alberta, Canada [doi>10.1145/1242572.1242681]
• 12: Natalya Fridman Noy , Mark A. Musen, PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment, Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, p.450-455, July 30-August 03, 2000
• 13: A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, R. Rosati, Linking Data to Ontologies. Journal of Data Semantics, 10, 2008. pp 133--173.
• 14: A. Soares da Silva, D. Barbosa, J. M. B. Cavalcanti, M. A. S. Sevalho, "Labeling Data Extracted from the Web", in Proc.OTM Conferences (1)'07,2007. pp 1099--1116.
• 15: G. Stumme, A. Maedche, "FCA-MERGE: Bottom-Up Merging of Ontologies" in Proc.IJCAI'01 2001, pp225--234.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS
      H.4.m Miscellaneous

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.8 Problem Solving, Control Methods, and Search
          Subjects: Graph and tree search strategies

General Terms:
Algorithms, Design

Keywords:
alignment, description logics, mediation, merging, ontology