Abstraction of Representation for Interoperation

When combining data from distinct sources, there is a need to share meta-data and other knowledge about various source domains. Due to semantic inconsistencies, problems arise when combining know edge across domains and the knowledge is simply merged. Also, knowledge that is irrelevant to the task of interoperation will be included, making the result unnecessarily complex. An algebra over ontologies has been proposed to support disciplined manipulation of domain knowledge re sources. However, if one tries to interoperate directly with the knowledge bases, semantic problems arise due to heterogeneity of representations. This heterogeneity problem can be eliminated by using an intermediate model that controls the knowledge translation from a source knowledge base. The intermediate model we have developed is based on the concept of abstract knowledge representation and has two components: a modeling behavior which separates the knowledge from its implementation, and a performative behavior which establishes context abstraction rules over the knowledge.

[1]  Michael R. Genesereth,et al.  A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation , 1995, Int. J. Cooperative Inf. Syst..

[2]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[3]  Gio Wiederhold,et al.  Modeling asynchrony in distributed databases , 1987, 1987 IEEE Third International Conference on Data Engineering.

[4]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[5]  Arnon Rosenthal,et al.  Using semantic values to facilitate interoperability among heterogeneous information systems , 1994, TODS.

[6]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[7]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[8]  Ramanathan V. Guha,et al.  The evolution of CycL, the Cyc representation language , 1991, SGAR.

[9]  Ramez Elmasri,et al.  Data model integration using the structural model , 1979, SIGMOD '79.

[10]  Gio Wiederhold,et al.  An Algebra for Ontology Composition , 1994 .

[11]  Richard Fikes,et al.  A declarative formalization of knowledge translation , 1995, CIKM '95.

[12]  Alexander Borgida.  From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics , 1992, Int. J. Cooperative Inf. Syst..

[13]  Martin Gogolla,et al.  Integrating the ER Approach in an OO Environment , 1993, ER.

[14]  Thomas R. Gruber,et al.  Ontolingua: a mechanism to support portable ontologies , 1991 .

[15]  RosenthalArnon,et al.  Using semantic values to facilitate interoperability among heterogeneous information systems , 1994 .

[16]  Narinder Singh,et al.  Coordinating Distributed Objects with Declarative Interfaces , 1996, COORDINATION.

[17]  Robert M. MacGregor,et al.  The Loom Knowledge Representation Language. , 1987 .

[18]  Gary Riley.  CLIPS: An expert system building tool , 1991 .

[19]  Timothy W. Finin,et al.  Swartout: Enabling technology for knowledge sharing , 1991 .

[20]  Jennifer Widom,et al.  Object exchange across heterogeneous information sources , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[21]  Jay L. Garfield,et al.  Modularity in Knowledge Representation and Natural-Language Understanding , 1987 .

[22]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[23]  Christine Collet,et al.  Resource integration using a large knowledge base in Carnot , 1991, Computer.

[24]  Kevin Chen-Chuan Chang,et al.  Boolean Query Mapping Across Heterogeneous Information Sources , 1996, IEEE Trans. Knowl. Data Eng..

[25]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[26]  Gio Wiederhold,et al.  Use of Relational Storage and a Semantic Model to Generate Objects: The PENGUIN Project , 1991 .

[27]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.