Articulation management for intelligent integration of information

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 and heterogeneity of representations, problems arise in combining multiple domains when the domains are merged. The knowledge that is irrelevant to the task of interoperation will be included, making the result unnecessarily complex. This heterogeneity problem can be eliminated by mediating the conflicts and managing the intersections of the domains. For interoperation and intelligent access to heterogeneous information, the focus is on the intersection of the knowledge. An algebra over domain is proposed which uses articulation rules to support disciplined manipulation of domain knowledge resources. The objective of a domain algebra is to provide the capability for interrogating many domain knowledge resources. The algebra formally supports the tasks of selecting, combining, extending, specializing, and modifying components from a diverse set of domains. The paper presents a domain algebra and demonstrates the use of articulation rules to link declarative interfaces for Internet and enterprise applications. In particular, it discusses the articulation implementation as part of a production system capable of operating over the domain described by the interface description language (IDL) of objects registered in multiple CORBA servers.

[1]  Nick Roussopoulos,et al.  Interoperability of multiple autonomous databases , 1990, CSUR.

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

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

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

[5]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[6]  David A. Maluf,et al.  Implementing articulation rules for object request brokers as an extension to production systems , 1997, Proceedings 1997 IEEE Knowledge and Data Engineering Exchange Workshop.

[7]  Serge Abiteboul,et al.  Objects and views , 1991, SIGMOD '91.

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

[9]  Timos K. Sellis,et al.  Implementing large production systems in a DBMS environment: concepts and algorithms , 1988, SIGMOD '88.

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

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

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

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

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

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

[16]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[17]  Dan Harkey,et al.  The Essential Distributed Objects Survival Guide , 1995 .

[18]  Kristin P. Bennett,et al.  Density-based indexing for approximate nearest-neighbor queries , 1999, KDD '99.

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

[20]  Gio Wiederhold,et al.  Abstraction of Representation for Interoperation , 1997, ISMIS.

[21]  Jennifer Widom,et al.  Managing Semantic Heterogeneity with Production Rules and Persistent Queues , 1993, VLDB.

[22]  Michael R. Genesereth,et al.  The Conceptual Basis for Mediation Services , 1997, IEEE Expert.

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

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

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

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

[27]  Narain H. Gehani,et al.  Ode as an Active Database: Constraints and Triggers , 1991, VLDB.

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

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

[30]  Heikki Mannila,et al.  Fast Discovery of Association Rules , 1996, Advances in Knowledge Discovery and Data Mining.

[31]  Robert M. MacGregor,et al.  Using a description classifier to enhance knowledge representation , 1991, IEEE Expert.

[32]  David Jordan,et al.  The Object Database Standard: ODMG 2.0 , 1997 .