{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:51:08Z","timestamp":1725486668060},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642332029"},{"type":"electronic","value":"9783642332036"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33203-6_13","type":"book-chapter","created":{"date-parts":[[2012,8,29]],"date-time":"2012-08-29T11:35:50Z","timestamp":1346240150000},"page":"172-187","source":"Crossref","is-referenced-by-count":1,"title":["Query Rewriting under Ontology Contraction"],"prefix":"10.1007","author":[{"given":"Eleni","family":"Tsalapati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgos","family":"Stoilos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgos","family":"Stamou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Koletsos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)","key":"13_CR1"},{"issue":"9-10","key":"13_CR2","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","volume":"175","author":"J.F. Baget","year":"2011","unstructured":"Baget, J.F., Lecl\u00e8re, M., Mugnier, M.L., Salvat, E.: On rules with existential variables: Walking the decidability line. Artificial Intelligence\u00a0175(9-10), 1620\u20131654 (2011)","journal-title":"Artificial Intelligence"},{"unstructured":"Booth, R., Meyer, T., Varzinczak, I.J.: First steps in EL contraction. In: Proceedings of the Workshop on Automated Reasoning about Context and Ontology Evolution, ARCOE 2009 (2009)","key":"13_CR3"},{"doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A.: Datalog+\/-: A family of logical knowledge representation and query languages for new applications. In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, pp. 228\u2013242 (2010)","key":"13_CR4","DOI":"10.1109\/LICS.2010.27"},{"issue":"3","key":"13_CR5","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. Journal of Automated Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"Journal of Automated Reasoning"},{"doi-asserted-by":"crossref","unstructured":"Chortaras, A., Trivela, D., Stamou, G.: Optimized query rewriting in OWL 2 QL. In: Proceedings of the 23rd International Conference on Automated Deduction (CADE 23), Polland, pp. 192\u2013206 (2011)","key":"13_CR6","DOI":"10.1007\/978-3-642-22438-6_16"},{"unstructured":"Cuenca Grau, B., Kharlamov, E., Zheleznyakov, D.: Ontology contraction: Beyond propositional paradise. In: Alberto Mendelzon International Workshop on Foundations of Data Management (AMW), Ouro Preto, Brazil (June 2012)","key":"13_CR7"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1613\/jair.3470","volume":"43","author":"B. Cuenca Grau","year":"2012","unstructured":"Cuenca Grau, B., Motik, B., Stoilos, G., Horrocks, I.: Completeness guarantees for incomplete ontology reasoners: Theory and practice. Journal of Artificial Intelligence Research\u00a043, 419\u2013476 (2012)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/3-540-36285-1_14","volume-title":"Database Theory - ICDT 2003","author":"R. Fagin","year":"2002","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data Exchange: Semantics and Query Answering. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 207\u2013224. Springer, Heidelberg (2002)"},{"doi-asserted-by":"crossref","unstructured":"Gon\u00e7alves, R.S., Parsia, B., Sattler, U.: Categorising logical differences between OWL ontologies. In: Proceedings of the 20th ACM Conference on Information and Knowledge Management, CIKM 2011, pp. 1541\u20131546 (2011)","key":"13_CR10","DOI":"10.1145\/2063576.2063797"},{"doi-asserted-by":"crossref","unstructured":"Gottlob, G., Orsi, G., Pieris, A.: Ontological queries: Rewriting and optimization. In: Proceedings of the 27th International Conference on Data Engineering, ICDE 2011 (2011)","key":"13_CR11","DOI":"10.1109\/ICDE.2011.5767965"},{"unstructured":"Imprialou, M., Stoilos, G., Grau, B.C.: Benchmarking ontology-based query rewriting systems. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2012. AAAI Press (July 2012)","key":"13_CR12"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/543613.543644","volume-title":"Proceedings of the Twenty-First ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2002","author":"M. Lenzerini","year":"2002","unstructured":"Lenzerini, M.: Data integration: a theoretical perspective. In: Proceedings of the Twenty-First ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2002, pp. 233\u2013246. ACM, New York (2002)"},{"key":"13_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-71070-7_16","volume-title":"Automated Reasoning","author":"C. Lutz","year":"2008","unstructured":"Lutz, C.: The Complexity of Conjunctive Query Answering in Expressive Description Logics. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol.\u00a05195, pp. 179\u2013193. Springer, Heidelberg (2008)"},{"issue":"11","key":"13_CR15","doi-asserted-by":"crossref","first-page":"1004","DOI":"10.14778\/3402707.3402737","volume":"4","author":"G. Orsi","year":"2011","unstructured":"Orsi, G., Pieris, A.: Optimizing query answering under ontological constraints. Proceedings of the VLDB Endowment\u00a04(11), 1004\u20131015 (2011)","journal-title":"Proceedings of the VLDB Endowment"},{"issue":"2","key":"13_CR16","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.jal.2009.09.004","volume":"8","author":"H. P\u00e9rez-Urbina","year":"2010","unstructured":"P\u00e9rez-Urbina, H., Motik, B., Horrocks, I.: Tractable query answering and rewriting under description logic constraints. Journal of Applied Logic\u00a08(2), 186\u2013209 (2010)","journal-title":"Journal of Applied Logic"},{"doi-asserted-by":"crossref","unstructured":"Poggi, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Linking data to ontologies. JoDS X, pp. 133\u2013173 (2008)","key":"13_CR17","DOI":"10.1007\/978-3-540-77688-8_5"},{"unstructured":"Ribeiro, M., Wassermann, R., Antoniou, G., Flouris, G., Pan, J.: Belief contraction in web-ontology languages. In: Proceedings of the 3rd International Workshop on Ontology Dynamics, IWOD 2009 (2009)","key":"13_CR18"},{"unstructured":"Rosati, R., Almatelli, A.: Improving query answering over DL-Lite ontologies. In: Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, KR 2010 (2010)","key":"13_CR19"},{"unstructured":"Stamou, G., Trivela, D., Chortaras, A.: Progressive semantic query answering. In: Scalable Semantic Web Knowledge Base Systems Workshop. SSWS 2010, Shanghai, China, November 7-8 (2010)","key":"13_CR20"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/978-3-642-25073-6_43","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"G. Stoilos","year":"2011","unstructured":"Stoilos, G., Cuenca Grau, B., Motik, B., Horrocks, I.: Repairing Ontologies for Incomplete Reasoners. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 681\u2013696. Springer, Heidelberg (2011)"},{"unstructured":"Venetis, T., Stoilos, G., Stamou, G.: Incremental query rewriting for OWL 2 QL. In: Proceedings of the 25th International Workshop on Description Logics, DL 2012, Rome, Italy (2012)","key":"13_CR22"},{"doi-asserted-by":"crossref","unstructured":"Widom, J.: Research problems in data warehousing. In: Proceedings of International Conference on Information and Knowledge Management, pp. 25\u201330 (1995)","key":"13_CR23","DOI":"10.1145\/221270.221319"}],"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-642-33203-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T00:35:55Z","timestamp":1594600555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33203-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642332029","9783642332036"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33203-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}