Information Integration for Electronic Commerce
In agent-mediated electronic commerce, agents need to exchange information with other agents and to integrate the information obtained from other agents in their own information. Integration is a very complex task as: information is distributed among different agents; each agent autonomously represents and manages a piece of information; information might be partial, as agent cannot wait to have complete information before acting; finally information is redundant, as the same information might be represented by two different agents. The goal of this paper is to provide a formal semantics for information integration able to cope with distributed, autonomous, partial, and redundant information. In the paper we introduce two examples from an electronic commerce scenario which emphasize critical problems in the integration of information, we define a semantics for information integration, and we test its adequacy by formalizing the examples.
KeywordsInformation Integration Formal Semantic Integrity Constraint Database Schema Domain Relation
Unable to display preview. Download preview PDF.
- 1.S. Abitebul, R. Hull, and V. Vianu. Foundation of Databases. Addison-Wesley, 1995.Google Scholar
- 3.A. Borgida. Description Logics in Data Management. IEEE Transactions on Knowledge and Data Engineering, October 1995.Google Scholar
- 5.A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 57–64, 1996. Also IRST-Technical Report 9412-09, IRST, Trento, Italy. Commonsense-96, Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, 1996.Google Scholar
- 6.C. Ghidini and L. Serafini. Foundation of Federated Databases, I: A Model Theoretic Perspective. Technical Report 9709-02, IRST, Trento, Italy, 1997.Google Scholar
- 7.C. Ghidini and L. Serafini. Distributed First Order Logics. In Proceedings of the Second International Workshop on Frontiers of Combining Systems (FroCoS’98), Amsterdam, Holland, October, 2–4 1998. To appear.Google Scholar
- 8.F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345–364, 1993. Short version in Proceedings IJCAI’93 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39–49. Also IRST-Technical Report 9211-20, IRST, Trento, Italy.Google Scholar
- 9.F. Giunchiglia and C. Ghidini. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR’98), pages 282–289. Morgan Kaufmann, 1998. Also IRST-Technical Report 9701-07, IRST, Trento, Italy.Google Scholar
- 11.R.V. Guha. Microtheories and contexts in cyc. Technical Report ACT-CYC-129-90, MCC, Austin, Texas, 1990.Google Scholar
- 12.A.Y. Levy, A. Rajaraman, and J.J. Ordille. Querying Heterogeneous Information Sources Using Source Descriptions. In Proceedings of the 22nd VLDB Conference, Bombay, India, 1996.Google Scholar
- 13.J. Mylopoulos and R. Motschnig-Pitrik. Partitioning Information Bases with Contexts. In Third International Conference on Cooperative Information Systems, Vienna, 1995.Google Scholar
- 15.V.S. Subrahmanian, S. Adah, A. Brink, R. Emery, J.J. Lu, A. Rajput, T.J. Rogers, R. Ross, and C. Ward. HERMES: A Heterogeneous Reasoning and Mediator System, 1997. Submitted for Publication. HTML version available at http://www.cs.umd.edu/projects/hermes/overview/paper/index.html.
- 16.M.W.W. Vermeer and P.M.G. Apers. The Role of Integrity Constraints in Database Interoperation. In Proceedings of the 22nd VLDB Conference, Mumbai(Bombay), India, 1996.Google Scholar
- 17.G. Wiederhold. Mediators in the architecture of future information systems. IEEE Computer, 25(3):38–49, 1992.Google Scholar