{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T20:44:50Z","timestamp":1772829890314,"version":"3.50.1"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319119144","type":"print"},{"value":"9783319119151","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-11915-1_10","type":"book-chapter","created":{"date-parts":[[2014,10,9]],"date-time":"2014-10-09T04:59:39Z","timestamp":1412830779000},"page":"148-163","source":"Crossref","is-referenced-by-count":5,"title":["Pushing the Boundaries of Tractable Ontology Reasoning"],"prefix":"10.1007","author":[{"given":"David","family":"Carral","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Feier","sequence":"additional","affiliation":[]},{"given":"Bernardo Cuenca","family":"Grau","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"10_CR2","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 364\u2013369 (2005)"},{"key":"10_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11814771_25","volume-title":"Automated Reasoning","author":"F. Baader","year":"2006","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL - a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 287\u2013291. Springer, Heidelberg (2006)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-642-23580-1_4","volume-title":"Web Reasoning and Rule Systems","author":"J.-F. Baget","year":"2011","unstructured":"Baget, J.-F., Mugnier, M.-L., Thomazo, M.: Towards farsighted dependencies for existential rules. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol.\u00a06902, pp. 30\u201345. Springer, Heidelberg (2011)"},{"key":"10_CR5","unstructured":"Bishop, B., Fischer, F.: IRIS - integrated rule inference system. In: ARea (2008)"},{"issue":"1","key":"10_CR6","doi-asserted-by":"crossref","first-page":"33","DOI":"10.3233\/SW-2011-0026","volume":"2","author":"B. Bishop","year":"2011","unstructured":"Bishop, B., Kiryakov, A., Ognyanoff, D., Peikov, I., Tashev, Z., Velkov, R.: OWLim: A family of scalable semantic repositories. Semantic Web J.\u00a02(1), 33\u201342 (2011)","journal-title":"Semantic Web J."},{"issue":"3","key":"10_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., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Automated Reasoning (JAR)\u00a039(3), 385\u2013429 (2007)","journal-title":"J. Automated Reasoning (JAR)"},{"issue":"1","key":"10_CR8","doi-asserted-by":"crossref","first-page":"43","DOI":"10.3233\/SW-2011-0029","volume":"2","author":"D. Calvanese","year":"2011","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R., Ruzzi, M., Savo, D.F.: The MASTRO system for ontology-based data access. Semantic Web J.\u00a02(1), 43\u201353 (2011)","journal-title":"Semantic Web J."},{"key":"10_CR9","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.: $\\mathcal{EL}$ -ifying ontologies. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol.\u00a08562, pp. 464\u2013479. Springer, Heidelberg (2014)"},{"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\u00a047, 741\u2013808 (2013)","journal-title":"JAIR"},{"issue":"1","key":"10_CR11","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci.\u00a0336(1), 89\u2013124 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48\u201357 (2003)","DOI":"10.2139\/ssrn.460986"},{"key":"10_CR13","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $\\mathcal{SROIQ}$ . In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Proc. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57\u201367. AAAI Press (2006)"},{"key":"10_CR14","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for $\\mathcal{SHOIQ}$ . In: IJCAI, pp. 448\u2013453 (2005)"},{"key":"10_CR15","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: IJCAI, pp. 466\u2013471 (2005)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: The incredible ELK: From polynomial procedures to efficient reasoning with $\\mathcal{EL}$ ontologies. J. Autom. Reas. (JAR) (2013)","DOI":"10.1007\/s10817-013-9296-3"},{"key":"10_CR17","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_CR18","unstructured":"Kr\u00f6tzsch, M., Rudolph, S.: Extending decidable existential rules by joining acyclicity and guardedness. In: IJCAI, pp. 963\u2013968 (2011)"},{"key":"10_CR19","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for Horn description logics. In: AAAI, pp. 452\u2013457 (2007)"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Complexities of Horn description logics. ACM Trans. Comp.\u00a014(1), 2:1\u20132:36 (2013)","DOI":"10.1145\/2422085.2422087"},{"issue":"3","key":"10_CR21","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log.\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Marnette, B.: Generalized schema-mappings: from termination to tractability. In: PODS, pp. 13\u201322 (2009)","DOI":"10.1145\/1559795.1559799"},{"key":"10_CR23","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL\u00a02 Web Ontology Language: Profiles. W3C Recommendation (October 27, 2009), http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"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","unstructured":"Ortiz, M., Rudolph, S., Simkus, M.: Worst-case optimal reasoning for the Horn-DL fragments of OWL 1 and 2. In: KR (2010)"},{"key":"10_CR26","unstructured":"Rodriguez-Muro, M., Calvanese, D.: High performance query answering over DL-Lite ontologies. In: KR (2012)"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Stefanoni, G., Motik, B., Horrocks, I.: Introducing nominals to the combined query answering approaches for $\\mathcal{EL}$ . In: AAAI (2013)","DOI":"10.1609\/aaai.v27i1.8452"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Wu, Z., Eadon, G., Das, S., Chong, E.I., Kolovski, V., Annamalai, M., Srinivasan, J.: Implementing an inference engine for RDFS\/OWL constructs and user-defined rules in Oracle. In: ICDE, pp. 1239\u20131248 (2008)","DOI":"10.1109\/ICDE.2008.4497533"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Grau, B.C., Horrocks, I., Wu, Z., Banerjee, J.: Making the most of your triple store: Query answering in OWL 2 using an RL reasoner. In: WWW (2013)","DOI":"10.1145\/2488388.2488525"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2014"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11915-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T04:40:10Z","timestamp":1689568810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11915-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319119144","9783319119151"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11915-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}