Abstract
ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framework for database schema integration. It allows us to to uniformly represent and reason with independent source databases that contain information about a common domain, but may have different schemas. The ID-Logic theories that are obtained are called mediator-based systems. We show that these theories properly capture the common methods for data integration (i.e., global-as view and local-as-view with either exact or partial definitions), and apply on them a robust abductive inference technique for query answering.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Abiteboul, S., Duschka, O.M.: Complexity of answering queries using materialized views. In: Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1998, pp. 591–596 (1998)
Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. of the Eighteenth ACM SIGMOD-SIGACT-SIGART Symp. on Principles of Database Systems, PODS 1999, pp. 68–79 (1999)
Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Coherent integration of databases by abductive logic programs. Accepted to the Journal of Artificial Intelligence Research (2004), See http://www.cs.kuleuven.ac.be/dtai/
Arieli, O., Van Nuffelen, B., Denecker, M., Bruynooghe, M.: Database repair by signed formulae. In: Seipel, D., Turull-Torres, J.M.a. (eds.) FoIKS 2004. LNCS, vol. 2942, pp. 14–30. Springer, Heidelberg (2004)
The Asystem. Obtainable via, http://www.cs.kuleuven.ac.be/dtai/kt/systems-E.shtml
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Baral, C., Minker, J., Kraus, S.: Combining multiple knowledge bases. IEEE Transactions on Knowledge and Data Engineering 3(2), 208–221 (1991)
Bertossi, L., Chomicki, J., Cortes, A., Gutierrez, C.: Consistent answers from integrated data sources. In: Andreasen, T., Motro, A., Christiansen, H., Larsen, H.L. (eds.) FQAS 2002. LNCS (LNAI), vol. 2522, pp. 71–85. Springer, Heidelberg (2002)
Bertossi, L., Bravo, L.: Logic programs for consistently querying data integration systems. In: Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI 2003 (2003)
Bressan, S., Goh, C.H., Fynn, K., Jakobisiak, M., Hussein, K., Kon, H., Lee, T., Madnick, S., Pena, T., Qu, J., Shum, A., Siegel, M.: The Context Interchange mediator prototype. In: Proc. of ACM SIGMOD 1997 Conf., pp. 525–527 (1997)
Bressan, S., Goh, C.H., Lee, T., Madnick, S.E., Siegel, M.: A procedure for mediation of queries to sources in disparate contexts. In: Proceedings of International Logic Programming Symposium, ILPS 1997, pp. 213–227 (1997)
Calí, D., Calvanese, G.: Data integration under integrity constraints. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 262–279. Springer, Heidelberg (2002)
Calvanese, D., De Giacomo, G., Lenzerini, M.: Description logics for information integration. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2408, pp. 41–60. Springer, Heidelberg (2002)
Calvanese, D., De Giacomo, G., Lenzerini, M.: Ontology of integration and integration of ontologies. In: Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001, CEUR Workshop Proc. 49 (2001)
Denecker, M.: Extending classical logic with inductive definitions. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 703–717. Springer, Heidelberg (2000)
Denecker, M., Bruynooghe, M., Marek, V.: Logic programming revisited: logic programs as inductive definitions. ACM Transactions on Computational Logic 2(4), 623–654 (2001)
Denecker, M., Ternovska, E.: Inductive Situation Calculus. In: Proc. of 9th Internation Conference on Principles of Knowledge Representation and Reasoning (2004) (accepted)
Denecker, M., Ternovska, E.: A Logic of Non-Monotone Inductive Definitions and its Modularity Properties. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 47–60. Springer, Heidelberg (2003)
Denecker, M., Kakas, A.C.: Abduction in logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 402–436. Springer, Heidelberg (2002)
Duschka, O., Genesereth, M., Levy, A.: Recursive query plans for data integration. Journal of Logic Programming 1, 49–73 (2000)
Friedman, S., Levy, A., Millstein, T.: Navigational plans for data integration. In: Proc. 16th National Conference on AI, pp. 67–73. AAAI Press, Menlo Park (1999)
Grahne, G., Mendelzon, A.: Tableau techniques for querying information sources through global schemas. In: Beeri, C., Bruneman, P. (eds.) ICDT 1999. LNCS, vol. 1540, pp. 332–347. Springer, Heidelberg (1998)
Kakas, A.C., Van Nuffelen, B., Denecker, M.: A-system: Problem solving through abduction. In: Proc. of the Seventeenth Int. Joint Conf. on Artificial Intelligence, IJCAI 2001, pp. 591–596 (2001)
Lenzerini, M.: Data integration: A theoretical perspective. In: Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 2002, pp. 233–246 (2002)
Levy, A.Y., Rajaraman, A., Ordille, J.J.: Querying heterogeneous information sources using source descriptions. In: Int. Conf. on Very Large Data Bases, VLDB 1996, pp. 251–262. Morgan Kaufmann, San Francisco (1996)
Levy, A.Y.: Obtaining complete answers from incomplete databases. In: Int. Conf. on Very Large Data Bases, VLDB 1996, pp. 402–412 (1996)
Levy, A.Y.: Logic-based techniques in data integration. In: Minker, J. (ed.) Logic- Based Artificial Intelligence, Kluwer, Dordrecht (2000)
McBrien, P., Poulovassilis, A.: Data integration by bi-directional schema transformation rules. In: Int. Conf. on Data Engineering, ICDE 2003, pp. 227–238. IEEE Computer Society, Los Alamitos (2003)
Pottinger, R., Levy, A.Y.: A scalable algorithm for answering queries using views. In: Int. Conf. on Very Large Data Bases, VLDB 2000, pp. 484–495 (2000)
Sadri, F., Toni, F., Xanthakos, I.: A logic-agent based system for semantic integration. In: Proceedings of 17th International Data and Information for the Coming Knowledge Millennium Conference, CODATA 2000 (2000)
Ullman, J.D.: Information integration using logical views. Theoretical Computer Science 239(2), 189–210 (2000)
Van Belleghem, K., Denecker, M., De Schreye, D.: A strong correspondence between description logics and open logic programming. In: Int. Conf. on Logic Programming, ICLP 1997, pp. 346–360 (1997)
Van Gelder, A., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM 38(3), 620–650 (1991)
Verbaeten, S., Bossi, A.: Composing complete and partial knowledge. Journal of Functional and Logic Programming 2000(6), 1–25 (2000)
Xanthakos, I.: Semantic integration of information by abduction. Phd thesis, University of London, United Kingdom (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Van Nuffelen, B., Cortés-Calabuig, A., Denecker, M., Arieli, O., Bruynooghe, M. (2004). Data Integration Using ID-Logic. In: Persson, A., Stirna, J. (eds) Advanced Information Systems Engineering. CAiSE 2004. Lecture Notes in Computer Science, vol 3084. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25975-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-25975-6_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22151-7
Online ISBN: 978-3-540-25975-6
eBook Packages: Springer Book Archive