Information Integration for Electronic Commerce

  • Chiara Ghidini
  • Luciano Serafini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1571)


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.


Information Integration Formal Semantic Integrity Constraint Database Schema Domain Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    S. Abitebul, R. Hull, and V. Vianu. Foundation of Databases. Addison-Wesley, 1995.Google Scholar
  2. 2.
    H.A. Blair and V.S. Subrahmanian. Paraconsistent Logic Programming. Theoretical Computer Science, 68:35–51, 1987.MathSciNetGoogle Scholar
  3. 3.
    A. Borgida. Description Logics in Data Management. IEEE Transactions on Knowledge and Data Engineering, October 1995.Google Scholar
  4. 4.
    T. Catarci and M. Lenzerini. Representing and using interschema knowledge in cooperative information systems. International Journal of Intelligent and Cooperative Information Systems, 2(4):375–398, 1993.CrossRefGoogle Scholar
  5. 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. 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. 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. 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. 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
  10. 10.
    F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29–70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    R.V. Guha. Microtheories and contexts in cyc. Technical Report ACT-CYC-129-90, MCC, Austin, Texas, 1990.Google Scholar
  12. 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. 13.
    J. Mylopoulos and R. Motschnig-Pitrik. Partitioning Information Bases with Contexts. In Third International Conference on Cooperative Information Systems, Vienna, 1995.Google Scholar
  14. 14.
    V.S. Subrahmanian. Amalgamating Knowledge Bases. ACM Trans. Database Syst., 19(2):291–331, 1994.CrossRefMathSciNetGoogle Scholar
  15. 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
  16. 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. 17.
    G. Wiederhold. Mediators in the architecture of future information systems. IEEE Computer, 25(3):38–49, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Chiara Ghidini
    • 1
  • Luciano Serafini
    • 2
  1. 1.DISA - University of TrentoTrentoItaly
  2. 2.ITC-IRSTTrentoItaly

Personalised recommendations