{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T10:14:45Z","timestamp":1762251285689},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729815"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72982-2_14","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:29:37Z","timestamp":1182850177000},"page":"194-208","source":"Crossref","is-referenced-by-count":11,"title":["Consistent Query Answering over Description Logic Ontologies"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Lembo","sequence":"first","affiliation":[]},{"given":"Marco","family":"Ruzzi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Acciarri, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QuOnto: Querying ontologies. In: Proc. of AAAI\u00a02005, pp. 1670\u20131671 (2005)"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. of Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"J. of Symbolic Logic"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. of PODS\u201999, pp. 68\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proc. of IJCAI\u00a02005, pp. 364\u2013369 (2005)","DOI":"10.25368\/2022.144"},{"volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","key":"14_CR5","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, New York (2003)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web - ISWC 2002","author":"K. Baclawski","year":"2002","unstructured":"Baclawski, K., Kokar, M.M., Waldinger, R., Kogut, P.A.: Consistency checking of semantic web ontologies. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, Springer, Heidelberg (2002)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Inconsistency Tolerance","year":"2005","unstructured":"Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol.\u00a03300. Springer, Heidelberg (2005)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Borgida, A., Brachman, R.J.: Conceptual modeling with description logics. In: Baader, et al.: [5] ch.\u00a010, pp. 349\u2013372","DOI":"10.1017\/CBO9780511711787.012"},{"issue":"8","key":"14_CR9","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. Information Systems\u00a026(8), 535\u2013536 (2001)","journal-title":"Information Systems"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Cal \u00ec, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. of PODS\u00a02003, pp. 260\u2013271 (2003)","DOI":"10.1145\/773153.773179"},{"key":"14_CR11","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proc. of AAAI\u00a02005, pp. 602\u2013607 (2005)"},{"key":"14_CR12","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of KR\u00a02006, pp. 260\u2013270 (2006)"},{"key":"14_CR13","doi-asserted-by":"crossref","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, 2007 (to Appear)","DOI":"10.1007\/s10817-007-9078-x"},{"key":"14_CR14","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Answering queries using views over description logics knowledge bases. In: Proc. of AAAI\u00a02000, pp. 386\u2013391 (2000)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-540-30597-2_5","volume-title":"Inconsistency Tolerance","author":"J. Chomicki","year":"2005","unstructured":"Chomicki, J., Marcinkowski, J.: On the computational complexity of minimal-change integrity maintenance in relational databases. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol.\u00a03300, pp. 119\u2013150. Springer, Heidelberg (2005)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Chomicki, J., Marcinkowski, J., Staworko, S.: Computing consistent query answers using conflict hypergraphs. In: Proc. of CIKM\u00a02004, pp. 417\u2013426 (2004)","DOI":"10.1145\/1031171.1031254"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-540-24599-5_12","volume-title":"Logic Programming","author":"T. Eiter","year":"2003","unstructured":"Eiter, T., Fink, M., Greco, G., Lembo, D.: Efficient evaluation of logic programs for querying data integration systems. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol.\u00a02916, pp. 163\u2013177. Springer, Heidelberg (2003)"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T. Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates and counterfactuals. Artificial Intelligence\u00a057, 227\u2013270 (1992)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"14_CR19","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1006\/jcss.1996.0083","volume":"53","author":"T. Eiter","year":"1996","unstructured":"Eiter, T., Gottlob, G.: The complexity of nested counterfactuals and iterated knowledge base revisions. J. of Computer and System Sciences\u00a053(3), 497\u2013512 (1996)","journal-title":"J. of Computer and System Sciences"},{"key":"14_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-30570-5_23","volume-title":"Database Theory - ICDT 2005","author":"A. Fuxman","year":"2004","unstructured":"Fuxman, A., Miller, R.J.: First-order query rewriting for inconsistent databases. In: Eiter, T., Libkin, L. (eds.) ICDT 2005. LNCS, vol.\u00a03363, pp. 337\u2013351. Springer, Heidelberg (2004)"},{"key":"14_CR21","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 CIKM\u00a02005, pp. 792\u2013799 (2005)","DOI":"10.1145\/1099554.1099742"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"P. Haasa","year":"2005","unstructured":"Haasa, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, Springer, Heidelberg (2005)"},{"issue":"2","key":"14_CR23","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/5254.920600","volume":"16","author":"J. Heflin","year":"2001","unstructured":"Heflin, J., Hendler, J.: A portrait of the Semantic Web in action. IEEE Intelligent Systems\u00a016(2), 54\u201359 (2001)","journal-title":"IEEE Intelligent Systems"},{"issue":"1","key":"14_CR24","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web. Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"J. of Web Semantics"},{"key":"14_CR25","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI\u00a02003 (2003)"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. of PODS\u00a02002, pp. 233\u2013246 (2002)","DOI":"10.1145\/543613.543644"},{"key":"14_CR27","unstructured":"Ortiz, M.M., Calvanese, D., Eiter, T.: Data complexity of answering unions of conjunctive queries in SHIQ. In: Proc. of DL\u00a02006. CEUR Electronic Workshop Proceedings (2006)"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proc. of the 14th Int. World Wide Web Conf. (WWW\u00a02005) (2005)","DOI":"10.1145\/1060745.1060837"},{"key":"14_CR29","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of descritpion logic terminologies. In: Proc. of IJCAI\u00a02003, pp. 355\u2013360 (2003)"},{"issue":"3","key":"14_CR30","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/MIS.2006.62","volume":"21","author":"N. Shadbolt","year":"2006","unstructured":"Shadbolt, N., Hall, W., Berners-Lee, T.: The semantic web revisited. IEEE Intelligent Systems\u00a021(3), 96\u2013101 (2006)","journal-title":"IEEE Intelligent Systems"},{"key":"14_CR31","unstructured":"Stuckenschmidt, H., Klein, M.: Integrity and change in modular ontologies. In: Proc. of IJCAI\u00a02003, pp. 900\u2013908 (2003)"},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: The complexity of relational query languages. In: Proc. of STOC\u201982, pp. 137\u2013146 (1982)","DOI":"10.1145\/800070.802186"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72982-2_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T17:55:42Z","timestamp":1683914142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729815"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_14","relation":{},"subject":[]}}