A problem of data integration in an environment consisting of a community of peer-to-peer cooperative agents is discussed. Data in the system are locally structured by the agents under different schemas. Communication and cooperation in the system are based on asking and answering queries by the agents. We show how to represent data and to merge related information from multiple data sources by means of unification operation and diverse Prolog mechanisms. The declarative approach is suitable to model data integration task and other constraints on data: from ontological to locally induced by an agent.


P2P system XML data schema mapping query rewriting unification Prolog-like computations 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ait-Kaci, H., et al.: The Wild LIFE Handbook, Paris Research Laboratory (1994)Google Scholar
  2. 2.
    Ait-Kaci, H., Podelski, A., Goldstein, S.: Order-sorted feature theory unification. Journal of Logic Programming 30(2), 1279–1318 (1997)CrossRefMathSciNetGoogle Scholar
  3. 3.
    Arenas, M., Libkin, L.: XML Data Exchange: Consistency and Query Answering. In: PODS Conference, pp. 13–24 (2005), 2005Google Scholar
  4. 4.
    Bartoszek, J.: Przekształcanie dokumentów XML w ψ-termy. SAiI tom 26, 1–15 (2001)Google Scholar
  5. 5.
    Brzykcy, G., Bartoszek, J.: Context in rules used in P2P semantic data integration system. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 377–380. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    Brzykcy, G., Bartoszek, J., Pankowski, T.: Semantic data integration in P2P environment using schema mappings and agent technology. In: Proceedings of AMSTA 2007 (to appear)Google Scholar
  7. 7.
    Bouquet, P., Serafini, L., Zanobini, S.: Peer-to-peer semantic coordination. Journal of Web Semantics 2(1), 81–97 (2004)Google Scholar
  8. 8.
    Calvanese, D., Giacomo, G.D., Lenzerini, M., Rosati, R.: Logical Foundations of Peer-To-Peer Data Integration. In: Proc. of the 23rd ACM SIGMOD Symposium on Principles of Database Systems (PODS 2004), pp. 241–251 (2004)Google Scholar
  9. 9.
    Carpenter, B.: The logic of typed feature structures: inheritance (in)equations and extensionality. In: Second European Summer School in Language, Logic and Information, Leuven (1990)Google Scholar
  10. 10.
    Fagin, R., Kolaitis, P., Popa, L.: Data exchange: getting to the core. ACM Trans. Database Syst. 30(1), 174–210 (2005)CrossRefMathSciNetGoogle Scholar
  11. 11.
    Loke, S.W.: Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog. Journal of Systems and Software 79(4), 523–536 (2006)CrossRefGoogle Scholar
  12. 12.
    Loke, S.W.: Representing and Reasoning with Situations for Context-Aware Pervasive Computing: a Logic Programming Perspective. School of Computer Science and Software Engineering, Monash University, Australia (2004)Google Scholar
  13. 13.
    Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Improving Automatically Created Mappings Using Logical Reasoning. In: Proc. of the 1st International Workshop on Ontology Matching OM-2006. CEUR Workshop Proceedings, vol. 225 (2006),
  14. 14.
    Pankowski, T.: Management of executable schema mappings for XML data exchange, Database Technologies for Handling XML Information on the Web. In: Grust, T., Höpfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., Müller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 264–277. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  15. 15.
    Pankowski, T., Cybulka, J., Meissner, A.: XML Schema Mappings in the Presence of Key Constraints and Value Dependencies. In: ICDT 2007 Workshop EROW 2007, CEUR Workshop Proceedings, vol. 229, pp. 1–15 (2007),
  16. 16.
    Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, Chichester (2002)Google Scholar
  17. 17.
    Yu, C., Popa, L.: Constraint-Based XML Query Rewriting for Data Integration. In: SIGMOD Conference, pp. 371–382 (2004)Google Scholar
  18. 18.
    Yu, C., Popa, L.: Semantic Adaptation of Schema Mappings when Schema Evolve. In: Proceedings of the 31th VLDB Conference, Trondheim, Norway (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Grażyna Brzykcy
    • 1
  1. 1.Institute of Control and Information EngineeringPoznań University of TechnologyPoland

Personalised recommendations