{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:48:56Z","timestamp":1725986936251},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25975-6_7","type":"book-chapter","created":{"date-parts":[[2010,8,9]],"date-time":"2010-08-09T00:42:51Z","timestamp":1281314571000},"page":"67-81","source":"Crossref","is-referenced-by-count":6,"title":["Data Integration Using ID-Logic"],"prefix":"10.1007","author":[{"given":"Bert","family":"Van Nuffelen","sequence":"first","affiliation":[]},{"given":"Alvaro","family":"Cort\u00e9s-Calabuig","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]},{"given":"Ofer","family":"Arieli","sequence":"additional","affiliation":[]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"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\u2013596 (1998)","DOI":"10.1145\/275487.275516"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"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\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"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\/","DOI":"10.1613\/jair.1322"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-24627-5_3","volume-title":"Foundations of Information and Knowledge Systems","author":"O. Arieli","year":"2004","unstructured":"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.\u00a02942, pp. 14\u201330. Springer, Heidelberg (2004)"},{"key":"7_CR5","unstructured":"The Asystem. Obtainable via, http:\/\/www.cs.kuleuven.ac.be\/dtai\/kt\/systems-E.shtml"},{"volume-title":"The Description Logic Handbook. Theory, Implementation and Applications.","year":"2003","key":"7_CR6","unstructured":"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)"},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1109\/69.88001","volume":"3","author":"C. Baral","year":"1991","unstructured":"Baral, C., Minker, J., Kraus, S.: Combining multiple knowledge bases. IEEE Transactions on Knowledge and Data Engineering\u00a03(2), 208\u2013221 (1991)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"7_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/3-540-36109-X_6","volume-title":"Flexible Query Answering Systems","author":"L. Bertossi","year":"2002","unstructured":"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.\u00a02522, pp. 71\u201385. Springer, Heidelberg (2002)"},{"key":"7_CR9","unstructured":"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)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"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\u2013527 (1997)","DOI":"10.1145\/253260.253389"},{"key":"7_CR11","unstructured":"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\u2013227 (1997)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/3-540-47961-9_20","volume-title":"Advanced Information Systems Engineering","author":"D. Cal\u00ed","year":"2002","unstructured":"Cal\u00ed, 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.\u00a02348, pp. 262\u2013279. Springer, Heidelberg (2002)"},{"key":"7_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-45632-5_2","volume-title":"Computational Logic: Logic Programming and Beyond","author":"D. Calvanese","year":"2002","unstructured":"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.\u00a02408, pp. 41\u201360. Springer, Heidelberg (2002)"},{"key":"7_CR14","unstructured":"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)"},{"key":"7_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1007\/3-540-44957-4_47","volume-title":"Computational Logic - CL 2000","author":"M. Denecker","year":"2000","unstructured":"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.\u00a01861, pp. 703\u2013717. Springer, Heidelberg (2000)"},{"issue":"4","key":"7_CR16","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1145\/383779.383789","volume":"2","author":"M. Denecker","year":"2001","unstructured":"Denecker, M., Bruynooghe, M., Marek, V.: Logic programming revisited: logic programs as inductive definitions. ACM Transactions on Computational Logic\u00a02(4), 623\u2013654 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"7_CR17","unstructured":"Denecker, M., Ternovska, E.: Inductive Situation Calculus. In: Proc. of 9th Internation Conference on Principles of Knowledge Representation and Reasoning (2004) (accepted)"},{"key":"7_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-24609-1_7","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Denecker","year":"2003","unstructured":"Denecker, M., Ternovska, E.: A Logic of Non-Monotone Inductive Definitions and its Modularity Properties. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 47\u201360. Springer, Heidelberg (2003)"},{"key":"7_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45628-7_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Denecker","year":"2002","unstructured":"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.\u00a02407, pp. 402\u2013436. Springer, Heidelberg (2002)"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0743-1066(99)00025-4","volume":"1","author":"O. Duschka","year":"2000","unstructured":"Duschka, O., Genesereth, M., Levy, A.: Recursive query plans for data integration. Journal of Logic Programming\u00a01, 49\u201373 (2000)","journal-title":"Journal of Logic Programming"},{"key":"7_CR21","first-page":"67","volume-title":"Proc. 16th National Conference on AI","author":"S. Friedman","year":"1999","unstructured":"Friedman, S., Levy, A., Millstein, T.: Navigational plans for data integration. In: Proc. 16th National Conference on AI, pp. 67\u201373. AAAI Press, Menlo Park (1999)"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/3-540-49257-7_21","volume-title":"Database Theory - ICDT\u201999","author":"G. Grahne","year":"1998","unstructured":"Grahne, G., Mendelzon, A.: Tableau techniques for querying information sources through global schemas. In: Beeri, C., Bruneman, P. (eds.) ICDT 1999. LNCS, vol.\u00a01540, pp. 332\u2013347. Springer, Heidelberg (1998)"},{"key":"7_CR23","unstructured":"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\u2013596 (2001)"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"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\u2013246 (2002)","DOI":"10.1145\/543613.543644"},{"key":"7_CR25","first-page":"251","volume-title":"Int. Conf. on Very Large Data Bases, VLDB 1996","author":"A.Y. Levy","year":"1996","unstructured":"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\u2013262. Morgan Kaufmann, San Francisco (1996)"},{"key":"7_CR26","unstructured":"Levy, A.Y.: Obtaining complete answers from incomplete databases. In: Int. Conf. on Very Large Data Bases, VLDB 1996, pp. 402\u2013412 (1996)"},{"key":"7_CR27","volume-title":"Logic- Based Artificial Intelligence","author":"A.Y. Levy","year":"2000","unstructured":"Levy, A.Y.: Logic-based techniques in data integration. In: Minker, J. (ed.) Logic- Based Artificial Intelligence, Kluwer, Dordrecht (2000)"},{"key":"7_CR28","first-page":"227","volume-title":"Int. Conf. on Data Engineering, ICDE 2003","author":"P. McBrien","year":"2003","unstructured":"McBrien, P., Poulovassilis, A.: Data integration by bi-directional schema transformation rules. In: Int. Conf. on Data Engineering, ICDE 2003, pp. 227\u2013238. IEEE Computer Society, Los Alamitos (2003)"},{"key":"7_CR29","unstructured":"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\u2013495 (2000)"},{"key":"7_CR30","unstructured":"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)"},{"issue":"2","key":"7_CR31","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S0304-3975(99)00219-4","volume":"239","author":"J.D. Ullman","year":"2000","unstructured":"Ullman, J.D.: Information integration using logical views. Theoretical Computer Science\u00a0239(2), 189\u2013210 (2000)","journal-title":"Theoretical Computer Science"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"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\u2013360 (1997)","DOI":"10.7551\/mitpress\/4299.003.0030"},{"issue":"3","key":"7_CR33","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"issue":"6","key":"7_CR34","first-page":"1","volume":"2000","author":"S. Verbaeten","year":"2000","unstructured":"Verbaeten, S., Bossi, A.: Composing complete and partial knowledge. Journal of Functional and Logic Programming\u00a02000(6), 1\u201325 (2000)","journal-title":"Journal of Functional and Logic Programming"},{"key":"7_CR35","unstructured":"Xanthakos, I.: Semantic integration of information by abduction. Phd thesis, University of London, United Kingdom (2003)"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25975-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,29]],"date-time":"2024-03-29T06:08:20Z","timestamp":1711692500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25975-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783319981765","9783319981772"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25975-6_7","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2004]]}}}