Context interchange: new features and formalisms for the intelligent integration of information

ABSTRACT

The Context Interchange strategy presents a novel perspective for mediated data access in which semantic conflicts among heterogeneous systems are not identified a priori, but are detected and reconciled by a context mediator through comparison of contexts axioms corresponding to the systems engaged in data exchange. In this article, we show that queries formulated on shared views, export schema, and shared “ontologies” can be mediated in the same way using the Context Interchange framework. The proposed framework provides a logic-based object-oriented formalsim for representing and reasoning about data semantics in disparate systems, and has been validated in a prototype implementation providing mediated data access to both traditional and web-based information sources.

REFERENCES

• 1: Serge Abiteboul , Georg Lausen , Heinz Uphoff , Emmanuel Waller, Methods and rules, ACM SIGMOD Record, v.22 n.2, p.32-41, June 1, 1993
• 2: Rafi Ahmed , Philippe De Smedt , Weimin Du , William Kent , Mohammad A. Ketabchi , Witold A. Litwin , Abbas Rafii , Ming-Chien Shan, The Pegasus Heterogeneous Multidatabase System, Computer, v.24 n.12, p.19-27, December 1991 [doi>10.1109/2.116885]
• 3: ARENS, Y. AND KNOBLOCK, C.A. 1992. Planning and reformulating queries for semanticallymodeled multidatabase systems. In Proceedings of the 1st International Conference on Information and Knowledge Management (CIKM-92, Baltimore, MD, Nov.), Y. Yesha, Ed. 92-101.
• 4: S. Bressan , C. H. Goh , K. Fynn , M. Jakobisiak , K. Hussein , H. Kon , T. Lee , S. Madnick , T. Pena , J. Qu , A. Shum , M. Siegel, The Context Interchange mediator prototype, ACM SIGMOD Record, v.26 n.2, p.525-527, June 1997
• 5: S. Bressan , Cheng Hian Goh , T. Lee , S. Madnick , M. Siegel, A procedure for mediation of queries to sources in disparate contexts, Proceedings of the 1997 international symposium on Logic programming, p.213-227, November 1997, Port Washington, New York, United States
• 6: CATARCI, T. AND LENZERINI, M. 1993. Representing and using interschema knowledge in cooperative information systems. Int. J. Intell. Coop. Inf. Syst. 2, 4 (Dec.), 375-399.
• 7: Upen S. Chakravarthy , John Grant , Jack Minker, Logic-based approach to semantic query optimization, ACM Transactions on Database Systems (TODS), v.15 n.2, p.162-207, June 1990 [doi>10.1145/78922.78924]
• 8: CLARK, K. 1978. Negation as failure. In Logic and Data Bases, H. Gallaire and J. Minker, Eds. Plenum Press, New York, NY, 292-322.
• 9: Christine Collet , Michael N. Huhns , Wei-Min Shen, Resource Integration Using a Large Knowledge Base in Carnot, Computer, v.24 n.12, p.55-62, December 1991 [doi>10.1109/2.116889]
• 10: Gillian Dobbie , Rodney Topor, On the declarative and procedural semantics of deductive object-oriented systems, Journal of Intelligent Information Systems, v.4 n.2, p.193-219, March 1995 [doi>10.1007/BF00961874]
• 11: ESHGHI, K. AND KOWLASKI, R.A. 1989. Abduction compared with negation by failure. In Proceedings of the 6th International Conference on Logic Programming (Lisbon, Spain). 234-255.
• 12: FAQUHAR, A., DAPPERT, A., FILKES, R., AND PRATT, W. 1995. Integrating information sources using context logic. In Proceedings of the AAAI-95 Spring Symposium on Information Gathering from Distributed Heterogeneous Environments. AAAI Press, Menlo Park, CA.
• 13: GOH, C. H., BRESSAN, S., MADNICK, S. E., AND SIEGAL, M. D. 1996. Context interchange: Representing and reasoning about data semantics in heterogeneous systems. Sloan School Working Paper No. 3928. MIT-Alfred P. Sloan School of Management, Cambridge, MA.
• 14: Cheng Hian Goh , Stuart E. Madnick , Michael D. Siegel, Context interchange: overcoming the challenges of large-scale interoperable database systems in a dynamic environment, Proceedings of the third international conference on Information and knowledge management, p.337-346, November 29-December 02, 1994, Gaithersburg, Maryland, United States [doi>10.1145/191246.191306]
• 15: GRUBER, T. R. 1991. The role of common ontology in achieving sharable, reusable knowledge bases. In Principles of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conference (Cambridge, MA.), J. A. Allen, R. Files, and E. Sandewall, Eds. Morgan Kaufmann, San Mateo, California, 601-602.
• 16: Richard Hull, Managing semantic heterogeneity in databases: a theoretical prospective, Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.51-61, May 11-15, 1997, Tucson, Arizona, United States [doi>10.1145/263661.263668]
• 17: Tomasz Imeilinski, Intelligent query answering in rule based systems, Journal of Logic Programming, v.4 n.3, p.229-257, Sept. 1987 [doi>10.1016/0743-1066(87)90003-3]
• 18: Willem Jonker , Heribert Schütz, The ECRC multi database system, Proceedings of the 1995 ACM SIGMOD international conference on Management of data, p.490, May 22-25, 1995, San Jose, California, United States
• 19: A. C. Kakas , P. Mancarella, Database updates through abduction, Proceedings of the sixteenth international conference on Very large databases, p.650-661, September 1990, Brisbane, Australia
• 20: KnKAS, A. C., KOWALSKI, R. A., AND TONI, F. 1993. Abductive logic programming. J. Logic Program. 2, 6, 719-770.
• 21: Michael Kifer , Georg Lausen , James Wu, Logical foundations of object-oriented and frame-based languages, Journal of the ACM (JACM), v.42 n.4, p.741-843, July 1995 [doi>10.1145/210332.210335]
• 22: E. Kuhn , T. Ludwig, VIP-MDBS: a logic multidatabase system, Proceedings of the first international symposium on Databases in parallel and distributed systems, p.190-201, December 05-07, 1988, Austin, Texas, United States
• 23: LANDERS, T. AND ROSENBERG, R. 1982. An overview of Multibase. In Proceedings of the 2nd International Symposium for Distributed Databases. 153-183.
• 24: Douglas B. Lenat , R. V. Guha, Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989
• 25: Alon Y. Levy , Alberto O. Mendelzon , Yehoshua Sagiv, Answering queries using views (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.95-104, May 22-25, 1995, San Jose, California, United States [doi>10.1145/212433.220198]
• 26: Alon Y. Levy , Divesh Srivastava , Thomas Kirk, Data model and query evaluation in global information systems, Journal of Intelligent Information Systems, v.5 n.2, p.121-143, Sept. 1995 [doi>10.1007/BF00962627]
• 27: Witold Litwin, O*SQL: A Language for Object Oriented Multidatabase Interoperability, Proceedings of the IFIP WG 2.6 Database Semantics Conference on Interoperable Database Systems (DS-5), p.119-137, November 16-20, 1992
• 28: LITWIN, W. AND ABDELLATIF, A. 1987. An overview of the multi-database manipulation language MDSL. Proc. IEEE 75, 5, 621-632.
• 29: J. W. Lloyd, Foundations of logic programming; (2nd extended ed.), Springer-Verlag New York, Inc., New York, NY, 1987
• 30: John McCarthy, Generality in artificial intelligence, Communications of the ACM, v.30 n.12, p.1030-1035, Dec. 1987 [doi>10.1145/33447.33448]
• 31: Inderpal Singh Mumick , Hamid Pirahesh, Implementation of magic-sets in a relational database system, ACM SIGMOD Record, v.23 n.2, p.103-114, June 1994
• 32: Yannis Papakonstantinou , Hector Garcia-Molina , Jennifer Widom, Object Exchange Across Heterogeneous Information Sources, Proceedings of the Eleventh International Conference on Data Engineering, p.251-260, March 06-10, 1995
• 33: Dallan Quass , Anand Rajaraman , Yehoshua Sagiv , Jeffrey D. Ullman , Jennifer Widom, Querying Semistructured Heterogeneous Information, Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases, p.319-344, December 04-07, 1995
• 34: SCIORE, E., SIEGAL, M., AND ROSENTHAL, A. 1992. Context interchange using meta-attributes. In Proceedings of the 1st International Conference on Information and Knowledge Management (CIKM-92, Baltimore, MD, Nov.), Y. Yesha, Ed. 377-386.
• 35: Edward Sciore , Michael Siegel , Arnon Rosenthal, Using semantic values to facilitate interoperability among heterogeneous information systems, ACM Transactions on Database Systems (TODS), v.19 n.2, p.254-290, June 1994 [doi>10.1145/176567.176570]
• 36: Praveen Seshadri , Joseph M. Hellerstein , Hamid Pirahesh , T. Y. Cliff Leung , Raghu Ramakrishnan , Divesh Srivastava , Peter J. Stuckey , S. Sudarshan, Cost-based optimization for magic: algebra and implementation, Proceedings of the 1996 ACM SIGMOD international conference on Management of data, p.435-446, June 04-06, 1996, Montreal, Quebec, Canada
• 37: Amit P. Sheth , James A. Larson, Federated database systems for managing distributed, heterogeneous, and autonomous databases, ACM Computing Surveys (CSUR), v.22 n.3, p.183-236, Sept. 1990 [doi>10.1145/96602.96604]
• 38: Michael Siegel , Stuart E. Madnick, A Metadata Approach to Resolving Semantic Conflicts, Proceedings of the 17th International Conference on Very Large Data Bases, p.133-145, September 03-06, 1991
• 39: TEMPLETON, M., BRILL, D., DAO, S. K., LUND, E., WARD, P., CHEN, A. L. P., AND MACGREGOR, R. 1987. Mermaid--a front end to distributed heterogeneous databases. Proc. IEEE 75, 5, 695-708.
• 40: Scaling heterogeneous databases and the design of Disco, Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96), p.449, May 27-30, 1996
• 41: Jeffrey D. Ullman, Information Integration Using Logical Views, Proceedings of the 6th International Conference on Database Theory, p.19-40, January 08-10, 1997
• 42: Gio Wiederhold, Mediators in the Architecture of Future Information Systems, Computer, v.25 n.3, p.38-49, March 1992 [doi>10.1109/2.121508]

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Query processing

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT

General Terms:
Design

Keywords:
abductive reasoning, information integration, mediators, semantic heterogeneity, semantic interoperability