{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T22:07:23Z","timestamp":1759961243732},"publisher-location":"Berlin, Heidelberg","reference-count":85,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642043284"},{"type":"electronic","value":"9783642043291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-04329-1_17","type":"book-chapter","created":{"date-parts":[[2009,11,30]],"date-time":"2009-11-30T14:06:21Z","timestamp":1259589981000},"page":"397-424","source":"Crossref","is-referenced-by-count":10,"title":["Using OWL in Data Integration"],"prefix":"10.1007","author":[{"given":"Diego","family":"Calvanese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"De Giacomo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domenico","family":"Lembo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Lenzerini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Rosati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Ruzzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,12,1]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Duschka, O.: Complexity of answering queries using materialized views. In: Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS\u201998), pp. 254\u2013265 (1998)","DOI":"10.1145\/275487.275516"},{"key":"17_CR2","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Arenas, M., Barcelo, P., Fagin, R., Libkin, L.: Locally consistent transformations and query answering in data exchange. In: Proc. of the 23rd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2004), pp. 229\u2013240 (2004)","DOI":"10.1145\/1055558.1055592"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. of the 18th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS\u201999), pp. 68\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Arenas, M., Libkin, L.: XML data exchange: Consistency and query answering. In: Proc. of the 24rd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2005), pp. 13\u201324 (2005)","DOI":"10.1145\/1065167.1065171"},{"key":"17_CR6","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: DL-Lite in the light of first-order logic. In: Proc. of the 22nd Nat. Conf. on Artificial Intelligence (AAAI 2007), pp. 361\u2013366 (2007)"},{"key":"17_CR7","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. Tech. Rep. BBKCS-09-03, School of Computer Science and Information Systems, Birbeck College, London (2009). Available at http:\/\/www.dcs.bbk.ac.uk\/research\/techreps\/2009\/bbkcs-09-03.pdf"},{"volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","key":"17_CR8","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"17_CR9","unstructured":"Bernstein, P.A., Giunchiglia, F., Kementsietsidis, A., Mylopoulos, J., Serafini, L., Zaihrayeu, I.: Data management for peer-to-peer computing: A vision. In: Proc. of the 5th Int. Workshop on the Web and Databases (WebDB 2002) (2002)"},{"issue":"9","key":"17_CR10","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1378727.1378745","volume":"51","author":"P.A. Bernstein","year":"2008","unstructured":"Bernstein, P.A., Haas, L.: Information integration in the enterprise. Commun. ACM 51(9), 72\u201379 (2008)","journal-title":"Commun. ACM"},{"issue":"8","key":"17_CR11","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1016\/S0306-4379(01)00038-2","volume":"26","author":"M. Bouzeghoub","year":"2001","unstructured":"Bouzeghoub, M., Lenzerini, M.: Introduction to the special issue on data extraction, cleaning, and reconciliation. Inf. Syst. 26(8), 535\u2013536 (2001)","journal-title":"Inf. Syst."},{"key":"17_CR12","unstructured":"Bravo, L., Bertossi, L.: Logic programming for consistently querying data integration systems. In: Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pp. 10\u201315 (2003)"},{"key":"17_CR13","unstructured":"Broekstra, J., Klein, M., Fensel, D., Horrocks, I.: Adding formal semantics to the Web: building on top of RDF Schema. In: Proc. of the ECDL 2000 Workshop on the Semantic Web (2000)"},{"key":"17_CR14","unstructured":"Cal\u00ec, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Reasoning on UML class diagrams in description logics. In: Proc. of IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development (PMD 2001) (2001)"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0306-4379(03)00050-4","volume":"29","author":"A. Cal\u00ec","year":"2004","unstructured":"Cal\u00ec, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Data integration under integrity constraints. Inf. Syst. 29, 147\u2013163 (2004)","journal-title":"Inf. Syst."},{"key":"17_CR16","unstructured":"Cal\u00ec, A., Lembo, D., Rosati, R.: Query rewriting and answering under constraints in data integration systems. In: Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pp. 16\u201321 (2003)"},{"key":"17_CR17","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: What to ask to a peer: Ontology-based query reformulation. In: Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004), pp. 469\u2013478 (2004)"},{"key":"17_CR18","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 260\u2013270 (2006)"},{"issue":"3","key":"17_CR19","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reason. 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reason."},{"issue":"4","key":"17_CR20","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1016\/j.is.2008.01.007","volume":"33","author":"D. Calvanese","year":"2008","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Inconsistency tolerance in P2P data integration: An epistemic logic approach. Inf. Syst. 33(4), 360\u2013384 (2008)","journal-title":"Inf. Syst."},{"key":"17_CR21","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Path-based identification constraints in description logics. In: Proc. of the 11th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2008), pp. 231\u2013241 (2008)"},{"key":"17_CR22","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: 2ATAs make DLs easy. In: Proc. of the 2002 Description Logic Workshop (DL 2002), CEUR Electronic Workshop Proceedings, vol. 53, pp. 107\u2013118 (2002). http:\/\/ceur-ws.org\/"},{"issue":"3","key":"17_CR23","doi-asserted-by":"publisher","first-page":"22.1","DOI":"10.1145\/1352582.1352590","volume":"9","author":"D. Calvanese","year":"2008","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Conjunctive query containment and answering under description logics constraints. ACM Trans. Comput. Log. 9(3), 22.1\u201322.31 (2008)","journal-title":"ACM Trans. Comput. Log."},{"key":"17_CR24","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Description logic framework for information integration. In: Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR\u201998), pp. 2\u201313 (1998)"},{"issue":"3","key":"17_CR25","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1142\/S0218843001000345","volume":"10","author":"D. Calvanese","year":"2001","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Data integration in data warehousing. Int. J. Coop. Inf. Syst. 10(3), 237\u2013271 (2001)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Logical foundations of peer-to-peer data integration. In: Proc. of the 23rd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2004), pp. 241\u2013251 (2004)","DOI":"10.1145\/1055558.1055593"},{"key":"17_CR27","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M.Y.: What is query rewriting? In: Proc. of the 7th Int. Workshop on Knowledge Representation Meets Databases (KRDB 2000), CEUR Electronic Workshop Proceedings, vol. 29, pp. 17\u201327 (2000). http:\/\/ceur-ws.org\/"},{"issue":"3","key":"17_CR28","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1006\/jcss.2001.1805","volume":"64","author":"D. Calvanese","year":"2002","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M.Y.: Rewriting of regular expressions and regular path queries. J. Comput. Syst. Sci. 64(3), 443\u2013465 (2002)","journal-title":"J. Comput. Syst. Sci."},{"key":"17_CR29","series-title":"Lecture Notes in Computer Science","first-page":"321","volume-title":"Proc. of the 10th Int. Conf. on Database Theory (ICDT 2005)","author":"D. Calvanese","year":"2005","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M.Y.: View-based query processing: On the relationship between rewriting, answering and losslessness. In: Proc. of the 10th Int. Conf. on Database Theory (ICDT 2005). Lecture Notes in Computer Science, vol. 3363, pp.\u00a0321\u2013336. Springer, Berlin (2005)"},{"issue":"1","key":"17_CR30","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.tcs.2004.10.031","volume":"336","author":"D. Calvanese","year":"2005","unstructured":"Calvanese, D., De Giacomo, G., Vardi, M.Y.: Decidable containment of recursive queries. Theor. Comput. Sci. 336(1), 33\u201356 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"17_CR31","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1109\/RIDE.1995.378736","volume-title":"Proc. of the 5th Int. Workshop on Research Issues in Data Engineering\u2014Distributed Object Management (RIDE-DOM\u201995)","author":"M.J. Carey","year":"1995","unstructured":"Carey, M.J., Haas, L.M., Schwarz, P.M., Arya, M., Cody, W.F., Fagin, R., Flickner, M., Luniewski, A., Niblack, W., Petkovic, D., Thomas, J., Williams, J.H., Wimmers, E.L.: Towards heterogeneous multimedia information systems: The Garlic approach. In: Proc. of the 5th Int. Workshop on Research Issues in Data Engineering\u2014Distributed Object Management (RIDE-DOM\u201995), pp. 124\u2013131. IEEE Computer Society, Los Alamitos (1995)"},{"issue":"4","key":"17_CR32","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1142\/S0218215793000174","volume":"2","author":"T. Catarci","year":"1993","unstructured":"Catarci, T., Lenzerini, M.: Representing and using interschema knowledge in cooperative information systems. J. Intell. Coop. Inf. Syst. 2(4), 375\u2013398 (1993)","journal-title":"J. Intell. Coop. Inf. Syst."},{"key":"17_CR33","unstructured":"Chawathe, S.S., Garcia-Molina, H., Hammer, J., Ireland, K., Papakonstantinou, Y., Ullman, J.D., Widom, J.: The TSIMMIS project: Integration of heterogeneous information sources. In: Proc. of the 10th Meeting of the Information Processing Society of Japan (IPSJ\u201994), pp. 7\u201318 (1994)"},{"key":"17_CR34","unstructured":"Chen, C., Haarslev, V., Wang, J.: LAS: extending racer by a large ABox store. In: Proc. of the 2005 Description Logic Workshop (DL 2005), CEUR Electronic Workshop Proceedings, vol.\u00a0147 (2005). http:\/\/ceur-ws.org\/"},{"key":"17_CR35","doi-asserted-by":"crossref","unstructured":"Chomicki, J., Marcinkowski, J., Staworko, S.: Computing consistent query answers using conflict hypergraphs. In: Proc. of the 13th Int. Conf. on Information and Knowledge Management (CIKM 2004), pp. 417\u2013426 (2004)","DOI":"10.1145\/1031171.1031254"},{"key":"17_CR36","first-page":"841","volume-title":"Proc. of the 9th Int. Conf. on Extending Database Technology (EDBT 2004)","author":"J. Chomicki","year":"2004","unstructured":"Chomicki, J., Marcinkowski, J., Staworko, S.: Hippo: a system for computing consistent query answers to a class of SQL queries. In: Proc. of the 9th Int. Conf. on Extending Database Technology (EDBT 2004), pp. 841\u2013844. Springer, Berlin (2004)"},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: On reconciling data exchange, data integration, and peer data management. In: Proc. of the 26th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2007), pp. 133\u2013142 (2007)","DOI":"10.1145\/1265530.1265549"},{"key":"17_CR38","unstructured":"De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI 2006), pp. 1271\u20131276 (2006)"},{"key":"17_CR39","unstructured":"De Giacomo, G., Lenzerini, M., Poggi, A., Rosati, R.: On the approximation of instance level update and erasure in description logics. In: Proc. of the 22nd Nat. Conf. on Artificial Intelligence (AAAI 2007), pp. 403\u2013408 (2007)"},{"key":"17_CR40","unstructured":"Decker, S., Fensel, D., van Harmelen, F., Horrocks, I., Melnik, S., Klein, M., Broekstra,\u00a0J.: Knowledge representation on the web. In: Proc. of the 2000 Description Logic Workshop (DL 2000), CEUR Electronic Workshop Proceedings, vol. 33, pp. 89\u201397 (2000). http:\/\/ceur-ws.org\/"},{"key":"17_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2625","volume":"134","author":"F.M. Donini","year":"1997","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W.: The complexity of concept languages. Inf. Comput. 134, 1\u201358 (1997)","journal-title":"Inf. Comput."},{"issue":"4","key":"17_CR42","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1093\/logcom\/4.4.423","volume":"4","author":"F.M. Donini","year":"1994","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: Deduction in concept languages: From subsumption to instance checking. J. Log. Comput. 4(4), 423\u2013452 (1994)","journal-title":"J. Log. Comput."},{"issue":"1","key":"17_CR43","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0743-1066(99)00025-4","volume":"43","author":"O.M. Duschka","year":"2000","unstructured":"Duschka, O.M., Genesereth, M.R., Levy, A.Y.: Recursive query plans for data integration. J.\u00a0Log. Program. 43(1), 49\u201373 (2000)","journal-title":"J.\u00a0Log. Program."},{"issue":"1","key":"17_CR44","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. Theor. Comput. Sci. 336(1), 89\u2013124 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"17_CR45","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/1061318.1061323","volume":"30","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: Getting to the core. ACM Trans. Database Syst. 30(1), 174\u2013210 (2005)","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"17_CR46","doi-asserted-by":"publisher","first-page":"994","DOI":"10.1145\/1114244.1114249","volume":"30","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Composing schema mappings: Second-order dependencies to the rescue. ACM Trans. Database Syst. 30(4), 994\u20131055 (2005)","journal-title":"ACM Trans. Database Syst."},{"key":"17_CR47","doi-asserted-by":"crossref","unstructured":"Fuxman, A., Fazli, E., Miller, R.J.: ConQuer: Efficient management of inconsistent databases. In: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pp. 155\u2013166 (2005)","DOI":"10.1145\/1066157.1066176"},{"issue":"4","key":"17_CR48","doi-asserted-by":"publisher","first-page":"1454","DOI":"10.1145\/1189769.1189778","volume":"31","author":"A. Fuxman","year":"2005","unstructured":"Fuxman, A., Kolaitis, P.G., Miller, R.J., Tan, W.C.: Peer data exchange. ACM Trans. Database Syst. 31(4), 1454\u20131498 (2005)","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"17_CR49","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1016\/j.jcss.2006.10.013","volume":"73","author":"A. Fuxman","year":"2007","unstructured":"Fuxman, A., Miller, R.J.: First-order query rewriting for inconsistent databases. J. Comput. Syst. Sci. 73(4), 610\u2013635 (2007)","journal-title":"J. Comput. Syst. Sci."},{"key":"17_CR50","first-page":"1070","volume-title":"Proc. of the 5th Logic Programming Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of the 5th Logic Programming Symposium, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"17_CR51","doi-asserted-by":"crossref","unstructured":"Genereseth, M.R., Keller, A.M., Duschka, O.M.: Infomaster: An information integration system. In: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pp. 539\u2013542 (1997)","DOI":"10.1145\/253262.253400"},{"key":"17_CR52","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1613\/jair.2372","volume":"31","author":"B. Glimm","year":"2008","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic $\\mathcal{SHIQ}$ . J. Artif. Intell. Res. 31, 151\u2013198 (2008)","journal-title":"J. Artif. Intell. Res."},{"key":"17_CR53","doi-asserted-by":"crossref","unstructured":"Gottlob, G.: Computing cores for data exchange: New algorithms and practical solutions. In: Proc. of the 24rd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2005), pp. 148\u2013159 (2005)","DOI":"10.1145\/1065167.1065187"},{"key":"17_CR54","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Nash, A.: Data exchange: Computing cores in polynomial time. In: Proc. of the 25th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2006), pp. 40\u201349 (2006)","DOI":"10.1145\/1142351.1142358"},{"key":"17_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/3-540-49257-7_21","volume-title":"Proc. of the 7th Int. Conf. on Database Theory (ICDT\u201999)","author":"G. Grahne","year":"1999","unstructured":"Grahne, G., Mendelzon, A.O.: Tableau techniques for querying information sources through global schemas. In: Proc. of the 7th Int. Conf. on Database Theory (ICDT\u201999). Lecture Notes in Computer Science, vol. 1540, pp. 332\u2013347. Springer, Berlin (1999)"},{"issue":"6","key":"17_CR56","doi-asserted-by":"publisher","first-page":"1389","DOI":"10.1109\/TKDE.2003.1245280","volume":"15","author":"G. Greco","year":"2003","unstructured":"Greco, G., Greco, S., Zumpano, E.: A logical framework for querying and repairing inconsistent databases. IEEE Trans. Knowl. Data Eng. 15(6), 1389\u20131408 (2003)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"17_CR57","unstructured":"Gribble, S., Halevy, A., Ives, Z., Rodrig, M., Suciu, D.: What can databases do for peer-to-peer? In: Proc. of the 4th Int. Workshop on the Web and Databases (WebDB 2001) (2001)"},{"key":"17_CR58","doi-asserted-by":"crossref","unstructured":"Grieco, L., Lembo, D., Ruzzi, M., Rosati, R.: Consistent query answering under key and exclusion dependencies: Algorithms and experiments. In: Proc. of the 14th Int. Conf. on Information and Knowledge Management (CIKM 2005), pp. 792\u2013799 (2005)","DOI":"10.1145\/1099554.1099742"},{"issue":"7","key":"17_CR59","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1016\/S0306-4379(99)00034-4","volume":"24","author":"J. Gryz","year":"1999","unstructured":"Gryz, J.: Query rewriting using views in the presence of functional and inclusion dependencies. Inf. Syst. 24(7), 597\u2013612 (1999)","journal-title":"Inf. Syst."},{"key":"17_CR60","series-title":"Lecture Notes in Artificial Intelligence","first-page":"701","volume-title":"Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2001)","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2001). Lecture Notes in Artificial Intelligence, vol. 2083, pp. 701\u2013705. Springer, Berlin (2001)"},{"key":"17_CR61","doi-asserted-by":"crossref","unstructured":"Halevy, A., Ives, Z., Suciu, D., Tatarinov, I.: Schema mediation in peer data management systems. In: Proc. of the 19th IEEE Int. Conf. on Data Engineering (ICDE 2003), pp. 505\u2013516 (2003)","DOI":"10.1109\/ICDE.2003.1260817"},{"issue":"4","key":"17_CR62","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s007780100054","volume":"10","author":"A.Y. Halevy","year":"2001","unstructured":"Halevy, A.Y.: Answering queries using views: A survey. Very Large Database J. 10(4), 270\u2013294 (2001)","journal-title":"Very Large Database J."},{"key":"17_CR63","unstructured":"Halevy, A.Y., Rajaraman, A., Ordille, J.: Data integration: The teenage years. In: Proc. of the 32nd Int. Conf. on Very Large Data Bases (VLDB 2006), pp. 9\u201316 (2006)"},{"key":"17_CR64","unstructured":"Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR\u201998), pp. 636\u2013647 (1998)"},{"key":"17_CR65","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $\\mathcal{SROIQ}$ . In: Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57\u201367 (2006)"},{"key":"17_CR66","unstructured":"Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The Instance Store: DL reasoning with large numbers of individuals. In: Proc. of the 2004 Description Logic Workshop (DL 2004), CEUR Electronic Workshop Proceedings, vol. 104 (2004). http:\/\/ceur-ws.org\/"},{"key":"17_CR67","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 466\u2013471 (2005)"},{"key":"17_CR68","doi-asserted-by":"crossref","unstructured":"Kolaitis, P.G.: Schema mappings, data exchange, and metadata management. In: Proc. of the 24th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2005), pp. 61\u201375 (2005)","DOI":"10.1145\/1065167.1065176"},{"key":"17_CR69","doi-asserted-by":"crossref","unstructured":"Krisnadhi, A., Lutz, C.: Data complexity in the $\\mathcal{EL}$ family of description logics. In: Proc. of the 14th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), pp. 333\u2013347 (2007)","DOI":"10.1007\/978-3-540-75560-9_25"},{"key":"17_CR70","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2002), pp. 233\u2013246 (2002)","DOI":"10.1145\/543613.543644"},{"key":"17_CR71","doi-asserted-by":"crossref","unstructured":"Leone, N., Eiter, T., Faber, W., Fink, M., Gottlob, G., Greco, G., Kalka, E., Ianni, G., Lembo, D., Lenzerini, M., Lio, V., Nowicki, B., Rosati, R., Ruzzi, M., Staniszkis, W., Terracina, G.: The INFOMIX system for advanced integration of incomplete and inconsistent data. In: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pp. 915\u2013917 (2005)","DOI":"10.1145\/1066157.1066286"},{"key":"17_CR72","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 Academic, Dordrecht (2000)"},{"key":"17_CR73","doi-asserted-by":"crossref","unstructured":"Levy, A.Y., Mendelzon, A.O., Sagiv, Y., Srivastava, D.: Answering queries using views. In: Proc. of the 14th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS\u201995), pp. 95\u2013104 (1995)","DOI":"10.1145\/212433.220198"},{"key":"17_CR74","unstructured":"Levy, A.Y., Rajaraman, A., Ordille, J.J.: Querying heterogenous information sources using source descriptions. In: Proc. of the 22nd Int. Conf. on Very Large Data Bases (VLDB\u201996) (1996)"},{"key":"17_CR75","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF00962627","volume":"5","author":"A.Y. Levy","year":"1995","unstructured":"Levy, A.Y., Srivastava, D., Kirk, T.: Data model and query evaluation in global information systems. J. Intell. Inf. Syst. 5, 121\u2013143 (1995)","journal-title":"J. Intell. Inf. Syst."},{"key":"17_CR76","doi-asserted-by":"crossref","unstructured":"Libkin, L.: Data exchange and incomplete information. In: Proc. of the 25th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2006), pp. 60\u201369 (2006)","DOI":"10.1145\/1142351.1142360"},{"key":"17_CR77","first-page":"282","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"R. M\u00f6ller","year":"2003","unstructured":"M\u00f6ller, R., Haarslev, V.: Description logic systems. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation and Applications, pp. 282\u2013305. Cambridge University Press, Cambridge (2003), Chap.\u00a08"},{"issue":"1","key":"17_CR78","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10817-008-9102-9","volume":"41","author":"M. Ortiz","year":"2008","unstructured":"Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. J. Autom. Reason. 41(1), 61\u201398 (2008)","journal-title":"J. Autom. Reason."},{"key":"17_CR79","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-77688-8_5","volume":"X","author":"A. Poggi","year":"2008","unstructured":"Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semant. X, 133\u2013173 (2008)","journal-title":"J. Data Semant."},{"key":"17_CR80","unstructured":"Pottinger, R., Levy, A.Y.: A scalable algorithm for answering queries using views. In: Proc. of the 26th Int. Conf. on Very Large Data Bases (VLDB 2000), pp. 484\u2013495 (2000)"},{"key":"17_CR81","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF00962071","volume":"2","author":"A. Schaerf","year":"1993","unstructured":"Schaerf, A.: On the complexity of the instance checking problem in concept languages with existential quantification. J. Intell. Inf. Syst. 2, 265\u2013278 (1993)","journal-title":"J. Intell. Inf. Syst."},{"key":"17_CR82","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of the 1st Int. Conf. on Advances in Information Systems (ADVIS-2000)","author":"L. Serafini","year":"2000","unstructured":"Serafini, L., Ghidini, C.: Using wrapper agents to answer queries in distributed information systems. In: Proc. of the 1st Int. Conf. on Advances in Information Systems (ADVIS-2000). Lecture Notes in Computer Science, vol.\u00a01909. Springer, Berlin (2000)"},{"key":"17_CR83","unstructured":"Sirin, E., Parsia, B.: Pellet system description. In: Proc. of the 2006 Description Logic Workshop (DL 2006), CEUR Electronic Workshop Proceedings, vol.\u00a0189 (2006). http:\/\/ceur-ws.org\/"},{"key":"17_CR84","unstructured":"Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. Tech. Rep., University of Maryland Institute for Advanced Computer Studies (UMIACS) (2005)"},{"issue":"2","key":"17_CR85","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. Theor. Comput. Sci. 239(2), 189\u2013210 (2000)","journal-title":"Theor. Comput. Sci."}],"container-title":["Semantic Web Information Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04329-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T23:55:42Z","timestamp":1558655742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04329-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,1]]},"ISBN":["9783642043284","9783642043291"],"references-count":85,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04329-1_17","relation":{},"subject":[],"published":{"date-parts":[[2009,12,1]]}}}