Applying Functional Languages in Knowledge-Based Information Integration Systems

  • Martin Peim
  • Norman W. Paton
  • Enrico Franconi


Knowledge-based information integration systems exploit rich descriptions of domain knowledge to support query formulation, source reconciliation or query optimisation. A characteristic shared by most such systems is that at some stage during query compilation, a query is translated from an expression over the knowledge base into one phrased in terms of the data models of the (possibly wrapped) sources that are being integrated. Individual proposals differ (i) in the knowledge model used; (ii) in the source model and language used; (iii) in the nature of the rewriting required from the knowledge model to the source model; and (iv) in the role of the source model and language. This chapter discusses some of the alternative options and describes in some detail a knowledge-based query processor, in which: (i) the knowledge model is an expressive Description Logic; (ii) the source model is an object model and the source language is the monoid comprehension calculus; (iii) the rewriting involved is query expansion, in a global-as-view approach to schema integration; and (iv) the source language is used for query normalisation and semantic optimisation, but not for direct evaluation. The approach thus illustrates one role that a language with functional underpinnings can play in a knowledge-based integration system, and provides a context for the comparison of alternative functional source languages and roles for those languages.


Query Processing Description Logic Knowledge Model Atomic Concept Query Processor 
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. 10.1
    Y. Arens, C. A. Knoblock, and W.-M. Shen. Query reformulation for dynamic information integration. Journal of Intelligent Information Systems, 6(2/3):99–130, 1996.CrossRefGoogle Scholar
  2. 10.2
    S. Bergamaschi, D. Beneventano, C. Sartori, and M. Vincini. ODB-QOPTIMIZER: A tool for semantic query optimization in OODB. In Proc. of the Thirteenth International Conference on Data Engineering (ICDE’97), page 578, 1997.Google Scholar
  3. 10.3
    P. Bresciani, M. Nori, and N. Pedot. A knowledge based paradigm for querying databases. In Proc. 11th DEXA Conference, pages 794–804. Springer-Verlag, 2000.Google Scholar
  4. 10.4
    D. Calvanese, G. D. Giacomo, M. Lenzerini, D. Nardi, and R. Rosati Information integration: Conceptual modelling and reasoning support. In Proc. COOPIS, pages 280–291, 1998.Google Scholar
  5. 10.5
    D. Calvanese, G. D. Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Data integration in data warehousing. Int. J. Cooperative Information Systems, 10(3):237–271, 2001.CrossRefGoogle Scholar
  6. 10.6
    D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 229–263. Kluwer, 1998.CrossRefGoogle Scholar
  7. 10.7
    D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation formalisms. Journal of Artificial Intelligence Research, 11:199–240, 1999.MathSciNetMATHGoogle Scholar
  8. 10.8
    R. G. G. Cattell, D. K. Barry, M. Berler, J. Eastman, D. Jordan, C. Russell, O. Schadow, T. Stanienda, and F. Velez, editors. The Object Data Standard: ODMG 3.0. Morgan Kaufmann, 2000.Google Scholar
  9. 10.9
    S. B. Davidson, J. Crabtree, B. P. Brunk, J. Schug, V. Tannen, G. C. Overton, and C. J. Stoeckert. K2/Kleisli and GUS: Experiments in integrated access to genomic data sources. IBM Systems Journal, 40(2):512–531, 2001.CrossRefGoogle Scholar
  10. 10.10
    P. T. Devanbu. Translating description logics to information server queries. In Proc. of the Second International Conference on Information and Knowledge Management (CIKM’93), pages 256–263, 1993.CrossRefGoogle Scholar
  11. 10.11
    L. Fegaras and D. Maier. Optimizing object queries using an effective calculus. ACM Transactions on Database Systems, 25(4):457–516, 2001.CrossRefGoogle Scholar
  12. 10.12
    D. Flanagan and J. Farley, editors. Java Enterprise in a Nutshell. O’Reilly, 1999.Google Scholar
  13. 10.13
    I. Foster, C. Kesselman, and S. Tuecke. The anatomy of the Grid: Enabling scalable virtual organizations. Int. Journal of Supercomputer Applications, 15(3), 2001.Google Scholar
  14. 10.14
    F. Goasdoue, V. Lattes, and M.-C. Rousset. The use of CARIN language and algorithms for information integration: the Picsel system. International Journal on Cooperative Information Systems, 9(4):383–401, 2000.CrossRefGoogle Scholar
  15. 10.15
    C. A. Goble, R. Stevens, G. Ng, S. Bechhofer, N. W. Paton, P. G. Baker, M. Peim, and A. Brass. Transparent access to multiple bioinformatics information sources. IBM Systems Journal, 40(2):534–551, 2001.CrossRefGoogle Scholar
  16. 10.16
    A. Goni, A. Illarramendi, and E. Mena. Semantic query optimisation and data caching for a multidatabase system. In O. Diaz and A. Illarramendi, editors, Proc. 2nd BIWIT, pages 60–71. IEEE Press, 1995.Google Scholar
  17. 10.17
    J. Grant, J. Gryz, J. Minker, and L. Raschid. Semantic query optimization for object databases. In Proc. of the Thirteenth International Conference on Data Engineering (ICDE’97), pages 444–453, 1997.Google Scholar
  18. 10.18
    I. Horrocks. FaCT and iFaCT. In Proc. of the International Workshop on Description Logics (DU99), pages 133–135, 1999.Google Scholar
  19. 10.19
    G. J. L. Kemp and P. M. D. Gray. Using the functional data model to integrate distributed biological data sources. In P. Svensson and J. C. French, editors, Proc. SSDBM, pages 176–185. IEEE Press, 1996.Google Scholar
  20. 10.20
    D. Kossmann. The state of the art in distributed query processing. ACM Computing Surveys, 32(4):422–469, 2000.CrossRefGoogle Scholar
  21. 10.21
    A. Y. Levy, D. Srivastava, and T. Kirk. Data model and query evaluation in global information systems. Journal of Intelligent Information Systems, 5:121–143, 1995.CrossRefGoogle Scholar
  22. 10.22
    E. Mena, A. Illarramendi, V. Kashyap, and A. P. Sheth OBSERVER: An approach for query processing in global information systems based on inter-operation across pre-existing ontologies. Distributed and Parallel Databases, 8(2):223–271, 2000.CrossRefGoogle Scholar
  23. 10.23
    N. W. Paton, R. Stevens, P. Baker, C. A. Goble, S. Bechhofer, and A. Brass. Query processing in the TAMBIS bioinformatics source integration system. In Proc. SSDBM, pages 138–147. IEEE Press, 1999.Google Scholar
  24. 10.24
    M. Peim, E. Franconi, N. W. Paton, and C. A. Goble. Query processing with description logic ontologies over object-wrapped databases. Technical Report, Dept. of Computer Science, University of Manchester, UK, 2001.Google Scholar
  25. 10.25
    M. Peim, E. Franconi, N. W. Paton, and C. A. Goble. Query processing with description logic ontologies over object-wrapped databases. In Proc. 14th Int. Conf. on Scientific and Statistical Databases (SSDBM). IEEE Press, 27–36, 2002.CrossRefGoogle Scholar
  26. 10.26
    T. Risch and V. Josifovski. Distributed data integration by object-oriented mediator servers. Concurrency and Computation: Practice and Experience, 13:933–953, 2001.MATHCrossRefGoogle Scholar
  27. 10.27
    D. W. Shipman. The Functional Data Model and the Data Language DAPLEX. ACM Transactions on Database Systems, 6(1):140–173, 1981. Also in [10.30], pages 95–111.CrossRefGoogle Scholar
  28. 10.28
    J. Smith, A. Gounaris, P. Watson, N. W. Paton, A. A. A. Fernandes, and R. Sakellariou. Distributed query processing on the Grid. In Proc. 3rd Int. Workshop on Grid Computing. Springer-Verlag, 2002.Google Scholar
  29. 10.29
    J. D. Ullman. Information integration using logical views. In Proc. ICDT, pages 19–40. Springer-Verlag, 1997.Google Scholar
  30. 10.30
    S. B. Zdonik and D. Maier, editors. Readings in Object-Oriented Database Systems. Morgan Kaufmann, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Martin Peim
    • 1
  • Norman W. Paton
    • 1
  • Enrico Franconi
    • 2
  1. 1.Department of Computer ScienceUniversity of ManchesterManchesterUK
  2. 2.Faculty of Computer ScienceFree University of BolzanoBolzanoItaly

Personalised recommendations