An FCA-based solution for ontology mediation

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.

[1]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[2]  Pedro M. Domingos,et al.  Learning to map between ontologies on the semantic web , 2002, WWW '02.

[3]  Diego Calvanese,et al.  The description logic handbook: theory , 2003 .

[4]  Ahmed K. Elmagarmid,et al.  TAILOR: a record linkage toolbox , 2002, Proceedings 18th International Conference on Data Engineering.

[5]  Marc Ehrig.  Ontology Alignment: Bridging the Semantic Gap (Semantic Web and Beyond) , 2006 .

[6]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..

[7]  Boris Motik,et al.  Reducing SHIQ-Description Logic to Disjunctive Datalog Programs , 2004, KR.

[8]  Denilson Barbosa,et al.  Labeling Data Extracted from the Web , 2007, OTM Conferences.

[9]  Gerd Stumme,et al.  FCA-MERGE: Bottom-Up Merging of Ontologies , 2001, IJCAI.

[10]  Yannis Kalfoglou,et al.  Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.

[11]  Jayant Madhavan,et al.  Reference reconciliation in complex information spaces , 2005, SIGMOD '05.

[12]  Peter Becker,et al.  The ToscanaJ Suite for Implementing Conceptual Information Systems , 2005, Formal Concept Analysis.

[13]  Marc Ehrig,et al.  Ontology Alignment: Bridging the Semantic Gap , 2006 .

[14]  Dejing Dou,et al.  Ontology translation by ontology merging and automated reasoning , 2004 .

[15]  B. Davey,et al.  Introduction to Lattices and Order: Appendix B: further reading , 2002 .

[16]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[17]  Deborah L. McGuinness,et al.  Ontologies Come of Age , 2003, Spinning the Semantic Web.

[18]  Boris Motik,et al.  Bridging the gap between OWL and relational databases , 2007, WWW '07.

[19]  Bernhard Ganter,et al.  Completing Description Logic Knowledge Bases Using Formal Concept Analysis , 2007, IJCAI.

[20]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[21]  Jaideep Srivastava,et al.  Entity identification in database integration , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[22]  Mark A. Musen,et al.  PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment , 2000, AAAI/IAAI.

[23]  P. Ivax,et al.  A THEORY FOR RECORD LINKAGE , 2004 .

[24]  Paris C. Kanellakis,et al.  Elements of Relational Database Theory , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[25]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .