A Formal Foundation for Ontology-Alignment Interaction Models

Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice makes it difficult to capture it in a universal formal foundation. We argue that such a lack of formality hinders further development and convergence of practices, and in particular, prevents us from achieving greater levels of automation. In this article we present a formal foundation for ontology alignment that is based on interaction models between heterogeneous agents on the Semantic Web. We use the mathematical notion of information flow in a distributed system to ground our three hypotheses of enabling semantic interoperability and we use a motivating example throughout the article: how to progressively align two ontologies of research quality assessment through meaning coordination. We conclude the article with the presentation---in an executable specification language---of such an ontology-alignment interaction model.

[1]  Pascal Hitzler,et al.  Formalizing Ontology Alignment and its Operations with Category Theory , 2006, FOIS.

[2]  Vaughan R. Pratt.  Orthocurrence as both Interaction and Observation , 2005 .

[3]  Frank Dignum,et al.  ANEMONE: an effective minimal ontology negotiation environment , 2006, AAMAS '06.

[4]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

[5]  MICHAEL BARR.  THE CHU CONSTRUCTION , 2004 .

[6]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[7]  Yannis Kalfoglou,et al.  Centre for Intelligent Systems and Their Applications , 2006 .

[8]  Luciano Serafini,et al.  Semantic Coordination: A New Approach and an Application , 2003, SEMWEB.

[9]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[10]  Philip A. Bernstein,et al.  A Model Theory for Generic Schema Management , 2001, DBPL.

[11]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[12]  Robert E. Kent.  Semantic Integration in the Information Flow Framework , 2005, Semantic Interoperability and Integration.

[13]  Stefano Spaccapietra.  Journal on Data Semantics IV , 2005, Journal on Data Semantics IV.

[14]  Database and Expert Systems Applications , 1996, Lecture Notes in Computer Science.

[15]  Stefano Spaccapietra,et al.  Journal on Data Semantics I , 2003, Lecture Notes in Computer Science.

[16]  John Mylopoulos,et al.  The Semantic Web - ISWC 2003 , 2003, Lecture Notes in Computer Science.

[17]  Jérôme Euzenat,et al.  A Survey of Schema-Based Matching Approaches , 2005, J. Data Semant..

[18]  Jun Wang,et al.  Mutual Online Ontology Alignment , 2002 .

[19]  Amit P. Sheth,et al.  Semantic Interoperability and Integration , 2005, Semantic Interoperability and Integration.

[20]  Gary M. Hardegree,et al.  Algebraic Methods in Philosophical Logic , 2001 .

[21]  Fausto Giunchiglia,et al.  Semantic Matching: Algorithms and Implementation , 2007, J. Data Semant..

[22]  Alon Y. Halevy,et al.  Semantic Integration Research in the Database Community : A Brief Survey , 2005 .

[23]  Yannis Kalfoglou,et al.  Progressive ontology alignment for meaning coordination: an information-theoretic foundation , 2005, AAMAS '05.

[24]  Steffen Staab,et al.  04391 Executive Summary -- Semantic Interoperability and Integration , 2005 .

[25]  Walter Truszkowski,et al.  Ontology negotiation between intelligent information agents , 2002, The Knowledge Engineering Review.

[26]  Natalya F. Noy,et al.  Semantic integration: a survey of ontology-based approaches , 2004, SGMD.

[27]  David Stuart Robertson,et al.  Multi-agent Coordination as Distributed Logic Programming , 2004, ICLP.

[28]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..

[29]  Trevor J. M. Bench-Capon,et al.  Semantics for Interoperability: Relating Ontologies and Schemata , 2003, DEXA.

[30]  Wenfei Fan,et al.  Keys with Upward Wildcards for XML , 2001, DEXA.

[31]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[32]  Yannis Kalfoglou,et al.  Formal Support for Representing and Automating Semantic Interoperability , 2004, ESWS.

[33]  L. Beran,et al.  [Formal concept analysis]. , 1996, Casopis lekaru ceskych.

[34]  Yannis Kalfoglou,et al.  On Semantic Interoperability and the Flow of Information , 2003 .

[35]  Jon Barwise,et al.  Information Flow: The Logic of Distributed Systems , 1997 .

[36]  Joseph A. Goguen,et al.  Information Integration in Institutions , 2006 .