{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T20:25:36Z","timestamp":1725913536216},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319695471"},{"type":"electronic","value":"9783319695488"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"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.springernature.com\/gp\/researchers\/text-and-data-mining"},{"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.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-69548-8_11","type":"book-chapter","created":{"date-parts":[[2017,10,17]],"date-time":"2017-10-17T01:35:59Z","timestamp":1508204159000},"page":"143-158","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["More on the Data Complexity of Answering Ontology-Mediated Queries with a\u00a0Covering\u00a0Axiom"],"prefix":"10.1007","author":[{"given":"Olga","family":"Gerasimova","sequence":"first","affiliation":[]},{"given":"Stanislav","family":"Kikot","sequence":"additional","affiliation":[]},{"given":"Vladimir","family":"Podolskii","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Zakharyaschev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,18]]},"reference":[{"key":"11_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Menlo Park (1995)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Afrati, F.N., Gergatsoulis, M., Toni, F.: Linearisability on datalog programs. Theor. Comput. Sci. 308(1\u2014-3), 199\u2013226 (2003). https:\/\/doi.org\/10.1016\/S0304-3975(02)00730-2","DOI":"10.1016\/S0304-3975(02)00730-2"},{"key":"11_CR3","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. (JAIR) 36, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"11_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355","volume-title":"An Introduction to Description Logic","author":"F Baader","year":"2017","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)"},{"issue":"4","key":"11_CR5","doi-asserted-by":"publisher","first-page":"33:1","DOI":"10.1145\/2661643","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. ACM Trans. Database Syst. 39(4), 33:1\u201344 (2014)","journal-title":"ACM Trans. Database Syst."},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-319-21768-0_9","volume-title":"Reasoning Web. Web Logic Rules","author":"M Bienvenu","year":"2015","unstructured":"Bienvenu, M., Ortiz, M.: Ontology-mediated query answering with data-tractable description logics. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 218\u2013307. Springer, Cham (2015). doi:10.1007\/978-3-319-21768-0_9"},{"issue":"3","key":"11_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. Reasoning 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. Artif. Intell. 195, 335\u2013360 (2013). https:\/\/doi.org\/10.1016\/j.artint.2012.10.003","DOI":"10.1016\/j.artint.2012.10.003"},{"key":"11_CR9","unstructured":"Feier, C., Kuusisto, A., Lutz, C.: Rewritability in monadic disjunctive datalog, MMSNP, and expressive description logics. CoRR abs\/1701.02231 (2017). http:\/\/arxiv.org\/abs\/1701.02231"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Gerasimova, O., Kikot, S., Podolskii, V., Zakharyaschev, M.: On the data complexity of ontology-mediated queries with a covering axiom. In: Proceedings of the 30th International Workshop on Description Logics (2017)","DOI":"10.1007\/978-3-319-69548-8_11"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Papadimitriou, C.H.: On the complexity of single-rule datalog queries. Inf. Comput. 183(1), 104\u2013122 (2003). http:\/\/dx.doi.org\/10.1016\/S0890-5401(03)00012-9","DOI":"10.1016\/S0890-5401(03)00012-9"},{"key":"11_CR12","unstructured":"Grau, B.C., Motik, B., Stoilos, G., Horrocks, I.: Computing datalog rewritings beyond horn ontologies. In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3\u20139, 2013, pp. 832\u2013838 (2013). http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6318"},{"key":"11_CR13","unstructured":"Hernich, A., Lutz, C., Ozaki, A., Wolter, F.: Schema.org as a description logic. In: Calvanese, D., Konev, B. (eds.) Proceedings of the 28th International Workshop on Description Logics, Athens, Greece, June 7\u201310, 2015, CEUR Workshop Proceedings, vol. 1350. CEUR-WS.org (2015). http:\/\/ceur-ws.org\/Vol-1350\/paper-24.pdf"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Kaminski, M., Nenov, Y., Grau, B.C.: Datalog rewritability of disjunctive datalog programs and non-Horn ontologies. Artif. Intell. 236, 90\u2013118 (2016). http:\/\/dx.doi.org\/10.1016\/j.artint.2016.03.006","DOI":"10.1016\/j.artint.2016.03.006"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-39784-4_5","volume-title":"Reasoning Web. Semantic Technologies for Intelligent Data Access","author":"R Kontchakov","year":"2013","unstructured":"Kontchakov, R., Rodr\u00edguez-Muro, M., Zakharyaschev, M.: Ontology-based data access with databases: a short course. In: Rudolph, S., Gottlob, G., Horrocks, I., van Harmelen, F. (eds.) Reasoning Web 2013. LNCS, vol. 8067, pp. 194\u2013229. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-39784-4_5"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-10587-1_5","volume-title":"Reasoning Web. Reasoning on the Web in the Big Data Era","author":"R Kontchakov","year":"2014","unstructured":"Kontchakov, R., Zakharyaschev, M.: An introduction to description logics and query rewriting. In: Koubarakis, M., Stamou, G., Stoilos, G., Horrocks, I., Kolaitis, P., Lausen, G., Weikum, G. (eds.) Reasoning Web 2014. LNCS, vol. 8714, pp. 195\u2013244. Springer, Cham (2014). doi:10.1007\/978-3-319-10587-1_5"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-540-75560-9_25","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A Krisnadhi","year":"2007","unstructured":"Krisnadhi, A., Lutz, C.: Data complexity in the $$\\cal{EL}$$ family of description logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS, vol. 4790, pp. 333\u2013347. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-75560-9_25"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Lutz, C., Sabellek, L.: Ontology-mediated querying with $$\\cal{EL}$$: Trichotomy and linear datalog rewritabvility. In: Proceedings of the 30th International Workshop on Description Logics (2017)","DOI":"10.24963\/ijcai.2017\/164"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-77688-8_5","volume":"4900","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 4900, 133\u2013173 (2008)","journal-title":"J. Data Semant. X"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/11965893_12","volume-title":"Database Theory \u2013 ICDT 2007","author":"R Rosati","year":"2006","unstructured":"Rosati, R.: The limits of querying ontologies. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 164\u2013178. Springer, Heidelberg (2006). doi:10.1007\/11965893_12"},{"key":"11_CR21","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."}],"container-title":["Communications in Computer and Information Science","Knowledge Engineering and Semantic Web"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69548-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T18:05:49Z","timestamp":1710353149000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-69548-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319695471","9783319695488"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69548-8_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"18 October 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"KESW","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Knowledge Engineering and the Semantic Web","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Szczecin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","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":"8 November 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 November 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"kesw2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2016.kesw.ru","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}