{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:43:56Z","timestamp":1742964236516,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319682877"},{"type":"electronic","value":"9783319682884"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68288-4_21","type":"book-chapter","created":{"date-parts":[[2017,10,4]],"date-time":"2017-10-04T08:59:43Z","timestamp":1507107583000},"page":"347-363","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Computing FO-Rewritings in $$\\mathcal{EL}$$ in Practice: From Atomic to Conjunctive Queries"],"prefix":"10.1007","author":[{"given":"Peter","family":"Hansen","sequence":"first","affiliation":[]},{"given":"Carsten","family":"Lutz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,4]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.2820","volume":"36","author":"A Artale","year":"2009","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. 36, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"21_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355","volume-title":"An Introduction to Description Logics","author":"F Baader","year":"2017","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logics. Cambridge University Press, Cambridge (2017)"},{"key":"21_CR3","unstructured":"Barcel\u00f3, P., Berger, G., Pieris, A.: Containment for rule-based ontology-mediated queries, 19 April 2017. https:\/\/arxiv.org\/abs\/1703.07994 [cs.DB]"},{"issue":"4","key":"21_CR4","first-page":"33:1","volume":"39","author":"M Bienvenu","year":"2014","unstructured":"Bienvenu, M., ten Cate, B., Lutz, C., Wolter, F.: Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. J. ACM Trans. Database Syst. 39(4), 33:1\u201333:44 (2014)","journal-title":"J. ACM Trans. Database Syst."},{"key":"21_CR5","unstructured":"Bienvenu, M., Hansen, P., Lutz, C., Wolter, F.: First order-rewritability and containment of conjunctive queries in Horn description logics. In: Proceedings of IJCAI, pp. 965\u2013971 (2016)"},{"key":"21_CR6","unstructured":"Bienvenu, M., Lutz, C., Wolter, F.: First order-rewritability of atomic queries in Horn description logics. In: Proceedings of IJCAI, pp. 754\u2013760 (2013)"},{"issue":"3","key":"21_CR7","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."},{"key":"21_CR8","unstructured":"Deutsch, A., Popa, L., Tannen, V.: Physical data independence, constraints, and optimization with universal plans. In: Proceedings of VLDB, pp. 459\u2013470 (1999)"},{"key":"21_CR9","unstructured":"Eiter, T., Ortiz, M., Simkus, M., Tran, T., Xiao, G.: Query rewriting for Horn-SHIQ plus rules. In: Proceedings of AAAI (2012)"},{"key":"21_CR10","unstructured":"Feier, C., Lutz, C., Kuusisto, A.: Rewritability in monadic disjunctive datalog, MMSNP, and expressive description logics. In: Proceedings of ICDT (2017)"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.artint.2014.04.004","volume":"213","author":"G Gottlob","year":"2014","unstructured":"Gottlob, G., Kikot, S., Kontchakov, R., Podolskii, V.V., Schwentick, T., Zakharyaschev, M.: The price of query rewriting in ontology-based data access. J. Artif. Intell. 213, 42\u201359 (2014)","journal-title":"J. Artif. Intell."},{"key":"21_CR12","unstructured":"Hansen, P., Lutz, C., Seylan, I., Wolter, F.: Efficient query rewriting in the description logic EL and beyond. In: Proceedings of IJCAI, pp. 3034\u20133040 (2015)"},{"key":"21_CR13","unstructured":"Kikot, S., Kontchakov, R., Zakharyaschev, M.: Conjunctive query answering with OWL 2 QL. In: Proceedings of KR (2012)"},{"key":"21_CR14","unstructured":"K\u00f6nig, M., Lecl\u00e8re, M., Mugnier, M.: Query rewriting for existential rules with compiled preorder. In: Proceedings of IJCAI, pp. 3106\u20133112 (2015)"},{"issue":"5","key":"21_CR15","doi-asserted-by":"publisher","first-page":"451","DOI":"10.3233\/SW-140153","volume":"6","author":"M K\u00f6nig","year":"2015","unstructured":"K\u00f6nig, M., Lecl\u00e8re, M., Mugnier, M., Thomazo, M.: Sound, complete and minimal UCQ-rewriting for existential rules. Semant. Web 6(5), 451\u2013475 (2015)","journal-title":"Semant. Web"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science (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. 5195, pp. 179\u2013193. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-71070-7_16"},{"key":"21_CR17","unstructured":"Lutz, C.: Two upper bounds for conjunctive query answering in SHIQ. In: Proceedings of DL (2008)"},{"key":"21_CR18","unstructured":"Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic EL using a relational database system. In: Proceedings of IJCAI, pp. 2070\u20132075 (2009)"},{"key":"21_CR19","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 web ontology language: profiles. W3C recommendation, 11 December 2012. http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"issue":"2","key":"21_CR20","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. J. Appl. Logic 8(2), 186\u2013209 (2010)","journal-title":"J. Appl. Logic"},{"key":"21_CR21","unstructured":"Rodriguez-Muro, M., Calvanese, D.: High performance query answering over DL-Lite ontologies. In: Proceedings of KR (2012)"},{"key":"21_CR22","unstructured":"Rosati, R., Almatelli, A.: Improving query answering over DL-Lite ontologies. In: Proceedings of KR (2010)"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Stefanoni, G., Motik, B.: Answering conjunctive queries over EL knowledge bases with transitive and reflexive roles. In: Proceedings of AAAI, pp. 1611\u20131617 (2015)","DOI":"10.1609\/aaai.v29i1.9386"},{"key":"21_CR24","unstructured":"Stefanoni, G., Motik, B., Horrocks, I.: Small datalog query rewritings for EL. In: Proceedings of DL (2012)"},{"key":"21_CR25","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.websem.2015.02.001","volume":"33","author":"D Trivela","year":"2015","unstructured":"Trivela, D., Stoilos, G., Chortaras, A., Stamou, G.B.: Optimising resolution-based rewriting algorithms for OWL ontologies. J. Web Semant. 33, 30\u201349 (2015)","journal-title":"J. Web Semant."}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2017"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68288-4_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,11]],"date-time":"2022-10-11T00:10:50Z","timestamp":1665447050000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-68288-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319682877","9783319682884"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68288-4_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"4 October 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISWC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Semantic Web Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"semweb2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}