Formal Support for Representing and Automating Semantic Interoperability

We discuss approaches to semantic heterogeneity and propose a formalisation of semantic interoperability based on the Barwise-Seligman theory of information flow. We argue for a theoretical framework that favours the analysis and implementation of semantic interoperability scenarios relative to particular understandings of semantics. We present an example case of such a scenario where our framework has been applied as well as variations of it in the domain of ontology mapping.

[1]  James H. Moor,et al.  Knowledge and the Flow of Information. , 1982 .

[2]  Pedro M. Domingos,et al.  Representing and reasoning about mappings between domain models , 2002, AAAI/IAAI.

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

[4]  Dov M. Gabbay,et al.  Inconsistency Handling in Multperspective Specifications , 1994, IEEE Trans. Software Eng..

[5]  Prasenjit Mitra,et al.  Resolving Terminological Heterogeneity In Ontologies , 2002 .

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

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

[8]  Vineet Gupta,et al.  Chu spaces: a model of concurrency , 1994 .

[9]  William P. Alston,et al.  Knowledge and the Flow of Information , 1985 .

[10]  Christopher Menzel.  Ontology Theory , 2002 .

[11]  Raymond Turner,et al.  Properties, propositions and semantic theory , 1992 .

[12]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[13]  M. Rosner,et al.  Computational linguistics and formal semantics , 1992 .

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

[15]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .

[16]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[17]  Arthur B. Markman,et al.  Knowledge Representation , 1998 .

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

[19]  Wamberto Weber Vasconcelos,et al.  On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions , 2002, Knowl. Based Syst..

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

[21]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[22]  Peter Szolovits,et al.  What Is a Knowledge Representation? , 1993, AI Mag..

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

[24]  Dana S. Nau,et al.  Ontology-Based Semantics , 2000, KR.

[25]  Trevor J. M. Bench-Capon,et al.  Formalising Ontologies and Their Relations , 1999, DEXA.

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

[27]  Dov M. Gabbay,et al.  Inconsistency Handling in Multi-Perspective Specifications , 1993, ESEC.

[28]  Michael Uschold,et al.  Creating Semantically Integrated Communities on the World Wide Web , 2002 .

[29]  François Pottier,et al.  Information Flow , 2020, Encyclopedia of Creativity, Invention, Innovation and Entrepreneurship.

[30]  Keith Devlin,et al.  Logic and information , 1991 .