Semantic integration of disparate information soruces over the Internet using constraint propagation

The Context Interchange Project is studying the semantic integration of disparate, i.e. distributed and heterogeneous, information sources. In this paper, we illustrate the principle of Context Mediation using examples from an application of our prototype. We outline the Context Mediation abductive framework and present the Context Mediation procedure. We show how this procedure is implemented using a constraint store and a constraint propagation model. We discuss the relationship between our approach and previous work on semantic query optimization.

[1]  Michael Maher,et al.  PROCALOG — Programming with Constraints and Abducibles in Logic , 1996 .

[2]  John Grant,et al.  Logic-based approach to semantic query optimization , 1990, TODS.

[3]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[4]  Stuart E. Madnick,et al.  Working Paper Alfred P. Sloan School of Management Database Systems in a Dynamic Environment Database Systems in a Dynamic Environment Received Context Interchange: Overcoming the Challenges of Large-scale Interoperable Database Systems in a Dynamic Environment* , 2022 .

[5]  Stéphane Bressan,et al.  A Procedure for Mediation of Queries to Sources in Disparate Contexts , 1997, ILPS.

[6]  Jeffrey D. Ullman,et al.  A Query Translation Scheme for Rapid Implementation of Wrappers , 1995, DOOD.

[7]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[8]  Gabriel M. Kuper,et al.  Constraint Query Languages , 1995, J. Comput. Syst. Sci..

[9]  Michael R. Genesereth,et al.  Query planning in infomaster , 1997, SAC '97.

[10]  M. Genesereth,et al.  RESIDUE: a deductive approach to design synthesis , 1985 .

[11]  Stéphane Bressan,et al.  Context Interchange: New Features and Formalisms for the Intelligent Integration of Information Context Interchange: New Features and Formalisms for the Intelligent Integration of Information , 1997 .

[12]  Stéphane Bressan,et al.  The Context Interchange mediator prototype , 1997, SIGMOD '97.

[13]  Jonathan J. King,et al.  Query optimization by semantic reasoning , 1981 .

[14]  Patrick Valduriez,et al.  Scaling heterogeneous databases and the design of Disco , 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

[15]  Stéphane Bressan,et al.  Information Brokering on the World Wide Web , 1997, WebNet.

[16]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.