{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:33:56Z","timestamp":1742967236978,"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_10","type":"book-chapter","created":{"date-parts":[[2017,10,4]],"date-time":"2017-10-04T08:59:43Z","timestamp":1507107583000},"page":"156-172","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Tractable Query Answering for Expressive Ontologies and Existential Rules"],"prefix":"10.1007","author":[{"given":"David","family":"Carral","sequence":"first","affiliation":[]},{"given":"Irina","family":"Dragoste","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Kr\u00f6tzsch","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,4]]},"reference":[{"issue":"9\u201310","key":"10_CR1","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","volume":"175","author":"JF Baget","year":"2011","unstructured":"Baget, J.F., Lecl\u00e8re, M., Mugnier, M.L., Salvat, E.: On rules with existential variables: walking the decidability line. Artif. Intell. 175(9\u201310), 1620\u20131654 (2011)","journal-title":"Artif. Intell."},{"key":"10_CR2","unstructured":"Bienvenu, M., Hansen, P., Lutz, C., Wolter, F.: First order-rewritability and containment of conjunctive queries in Horn description logics. In: Proceedings of 25th International Joint Conference on Artificial Intelligence (IJCAI\u201916), pp. 965\u2013971. IJCAI\/AAAI Press (2016)"},{"key":"10_CR3","unstructured":"Bourhis, P., Morak, M., Pieris, A.: The impact of disjunction on query answering under guarded-based existential rules. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, 3\u20139 August 2013, pp. 796\u2013802. IJCAI\/AAAI (2013)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-15918-3_1","volume-title":"Web Reasoning and Rule Systems","author":"A Cal\u00ec","year":"2010","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: Query answering under non-guarded rules in Datalog+\/-. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 1\u201317. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-15918-3_1"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1613\/jair.3873","volume":"48","author":"A Cal\u00ec","year":"2013","unstructured":"Cal\u00ec, A., Gottlob, G., Kifer, M.: Taming the infinite chase: query answering under expressive relational constraints. J. Artif. Intell. Res. (JAIR) 48, 115\u2013174 (2013)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"3","key":"10_CR6","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. (JAR) 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reason. (JAR)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Carral, D., Dragoste, I., Kr\u00f6tzsch, M.: Restricted chase (non)termination for existential rules with disjunctions. In: Sierra, C. (ed.) Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), pp. 922\u2013928 (2017)","DOI":"10.24963\/ijcai.2017\/128"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/978-3-319-08587-6_36","volume-title":"Automated Reasoning","author":"D Carral","year":"2014","unstructured":"Carral, D., Feier, C., Cuenca Grau, B., Hitzler, P., Horrocks, I.: $$\\cal{EL}$$-ifying ontologies. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol. 8562, pp. 464\u2013479. Springer, Cham (2014). doi:10.1007\/978-3-319-08587-6_36"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-319-46523-4_5","volume-title":"The Semantic Web\u2014ISWC 2016","author":"D Carral","year":"2016","unstructured":"Carral, D., Feier, C., Hitzler, P.: A practical acyclicity notion for query answering over Horn-\n          $$\\cal{SRIQ}$$ ontologies. In: Groth, P., Simperl, E., Gray, A., Sabou, M., Kr\u00f6tzsch, M., Lecue, F., Fl\u00f6ck, F., Gil, Y. (eds.) ISWC 2016. LNCS, vol. 9981, pp. 70\u201385. Springer, Cham (2016). doi:10.1007\/978-3-319-46523-4_5"},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1613\/jair.3949","volume":"47","author":"B Cuenca Grau","year":"2013","unstructured":"Cuenca Grau, B., Horrocks, I., Kr\u00f6tzsch, M., Kupke, C., Magka, D., Motik, B., Wang, Z.: Acyclicity notions for existential rules and their application to query answering in ontologies. JAIR 47, 741\u2013808 (2013)","journal-title":"JAIR"},{"issue":"3","key":"10_CR11","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"10_CR12","unstructured":"Feier, C., Carral, D., Stefanoni, G., Grau, B.C., Horrocks, I.: The combined approach to query answering beyond the OWL 2 profiles. In: Yang, Q., Wooldridge, M. (eds.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25\u201331 July 2015, pp. 2971\u20132977. AAAI Press (2015). http:\/\/ijcai.org\/Abstract\/15\/420"},{"issue":"1","key":"10_CR13","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.artint.2009.10.003","volume":"174","author":"G Gottlob","year":"2010","unstructured":"Gottlob, G., Pichler, R., Wei, F.: Bounded treewidth as a key to tractability of knowledge representation and reasoning. Artif. Intell. 174(1), 105\u2013132 (2010)","journal-title":"Artif. Intell."},{"key":"10_CR14","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Boston (1979)"},{"key":"10_CR15","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, United Kingdom, 2\u20135 June 2006, pp. 57\u201367. AAAI Press (2006)"},{"key":"10_CR16","unstructured":"Kazakov, Y.: Saturation-based decision procedures for extensions of the guarded fragment. Ph.D. thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, Germany (2006)"},{"key":"10_CR17","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in dl-lite. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, 9\u201313 May 2010. AAAI Press (2010) http:\/\/aaai.org\/ocs\/index.php\/KR\/KR2010\/paper\/view\/1282"},{"key":"10_CR18","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to ontology-based data access. In: IJCAI, pp. 2656\u20132661 (2011)"},{"key":"10_CR19","unstructured":"Kr\u00f6tzsch, M., Rudolph, S.: Extending decidable existential rules by joining acyclicity and guardedness. In: Proceedings 22nd IJCAI, pp. 963\u2013968. AAAI Press (2011)"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/978-3-642-41335-3_20","volume-title":"The Semantic Web\u2014ISWC 2013","author":"C Lutz","year":"2013","unstructured":"Lutz, C., Seylan, \u0130., Toman, D., Wolter, F.: The combined approach to OBDA: taming role hierarchies using filters. In: Alani, H., Kagal, L., Fokoue, A., Groth, P., Biemann, C., Parreira, J.X., Aroyo, L., Noy, N., Welty, C., Janowicz, K. (eds.) ISWC 2013. LNCS, vol. 8218, pp. 314\u2013330. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-41335-3_20"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Marnette, B.: Generalized schema-mappings: from termination to tractability. In: Proceedings of the 28th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 2009, USA, pp. 13\u201322. ACM (2009)","DOI":"10.1145\/1559795.1559799"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-41335-3_21","volume-title":"The Semantic Web\u2014ISWC 2013","author":"N Matentzoglu","year":"2013","unstructured":"Matentzoglu, N., Bail, S., Parsia, B.: A snapshot of the OWL web. In: Alani, H., Kagal, L., Fokoue, A., Groth, P., Biemann, C., Parreira, J.X., Aroyo, L., Noy, N., Welty, C., Janowicz, K. (eds.) ISWC 2013. LNCS, vol. 8218, pp. 331\u2013346. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-41335-3_21"},{"issue":"1","key":"10_CR23","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B Motik","year":"2009","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. (JAIR) 36(1), 165\u2013228 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Motik, B., Nenov, Y., Piro, R., Horrocks, I., Olteanu, D.: Parallel materialisation of Datalog programs in centralised, main-memory RDF systems. In: AAAI (2014)","DOI":"10.1609\/aaai.v28i1.8730"},{"key":"10_CR25","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1613\/jair.4457","volume":"51","author":"G Stefanoni","year":"2014","unstructured":"Stefanoni, G., Motik, B., Kr\u00f6tzsch, M., Rudolph, S.: The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases. J. Artif. Intell. Res. 51, 645\u2013705 (2014)","journal-title":"J. Artif. Intell. Res."}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,11]],"date-time":"2022-10-11T00:08:30Z","timestamp":1665446910000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-68288-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319682877","9783319682884"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68288-4_10","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"}]}}