Summary
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
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.
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.
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.
D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation formalisms. Journal of Artificial Intelligence Research, 11:199–240, 1999.
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.
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.
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.
L. Fegaras and D. Maier. Optimizing object queries using an effective calculus. ACM Transactions on Database Systems, 25(4):457–516, 2001.
D. Flanagan and J. Farley, editors. Java Enterprise in a Nutshell. O’Reilly, 1999.
I. Foster, C. Kesselman, and S. Tuecke. The anatomy of the Grid: Enabling scalable virtual organizations. Int. Journal of Supercomputer Applications, 15(3), 2001.
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.
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.
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.
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.
I. Horrocks. FaCT and iFaCT. In Proc. of the International Workshop on Description Logics (DU99), pages 133–135, 1999.
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.
D. Kossmann. The state of the art in distributed query processing. ACM Computing Surveys, 32(4):422–469, 2000.
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.
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.
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.
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.
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.
T. Risch and V. Josifovski. Distributed data integration by object-oriented mediator servers. Concurrency and Computation: Practice and Experience, 13:933–953, 2001.
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.
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.
J. D. Ullman. Information integration using logical views. In Proc. ICDT, pages 19–40. Springer-Verlag, 1997.
S. B. Zdonik and D. Maier, editors. Readings in Object-Oriented Database Systems. Morgan Kaufmann, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Peim, M., Paton, N.W., Franconi, E. (2004). Applying Functional Languages in Knowledge-Based Information Integration Systems. In: Gray, P.M.D., Kerschberg, L., King, P.J.H., Poulovassilis, A. (eds) The Functional Approach to Data Management. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-05372-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-662-05372-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05575-1
Online ISBN: 978-3-662-05372-0
eBook Packages: Springer Book Archive