{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:48:10Z","timestamp":1725518890162},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878025"},{"type":"electronic","value":"9783540878032"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87803-2_15","type":"book-chapter","created":{"date-parts":[[2008,9,23]],"date-time":"2008-09-23T10:35:16Z","timestamp":1222166116000},"page":"166-179","source":"Crossref","is-referenced-by-count":12,"title":["Query Answering in the Description Logic Horn- $\\mathcal{SHIQ}$"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Gottlob","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magdalena","family":"Ortiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mantas","family":"\u0160imkus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F.: Terminological cycles in a description logic with existential restrictions. In: IJCAI 2003, pp. 325\u2013330 (2003)","DOI":"10.25368\/2022.120"},{"key":"15_CR2","unstructured":"Cali, A., Gottlob, G., Kifer, M.: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. In: KR 2008 (to appear, 2008)"},{"key":"15_CR3","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: KR 2006 (2006)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: PODS 1998, pp. 149\u2013158 (1998)","DOI":"10.1145\/275487.275504"},{"issue":"3","key":"15_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., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-lite family. J. Autom. Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"15_CR6","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive Query Answering for the Description Logic $\\mathcal{SHIQ}$ . In: IJCAI 2007, pp. 399\u2013404 (2007)"},{"key":"15_CR7","unstructured":"Horrocks, I.: Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester (1997)"},{"key":"15_CR8","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for $\\mathcal{SHOIQ}$ . In: IJCAI\u00a02005, pp. 448\u2013453 (2005)"},{"key":"15_CR9","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: IJCAI\u00a02005, pp. 466\u2013471 (2005)"},{"key":"15_CR10","unstructured":"Krisnadhi, A., Lutz, C.: Data complexity in the $\\mathcal{EL}$ family of description logics. In: DL 2007, Bressanone, Italy. CEUR-WS, vol.\u00a0250, pp. 88\u201399 (2007)"},{"key":"15_CR11","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for Horn description logics. In: AAAI 2007, pp. 452\u2013457 (2007)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-540-76298-0_23","volume-title":"The Semantic Web","author":"M. Kr\u00f6tzsch","year":"2007","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Conjunctive queries for a tractable fragment of OWL 1.1. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007\/ISWC 2007. LNCS, vol.\u00a04825, pp. 310\u2013323. Springer, Heidelberg (2007)"},{"key":"15_CR13","unstructured":"Lutz, C.: Inverse roles make conjunctive queries hard. In: DL 2007 (2007)"},{"key":"15_CR14","unstructured":"Lutz, C.: Two upper bounds for conjunctive query answering in $\\mathcal{SHIQ}$ . In: DL 2008 (2008)"},{"key":"15_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-73595-3_6","volume-title":"Automated Deduction \u2013 CADE-21","author":"B. Motik","year":"2007","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 67\u201383. Springer, Heidelberg (2007)"},{"key":"15_CR16","unstructured":"Ortiz, M., \u0160imkus, M., Eiter, T.: Worst-case optimal conjunctive query answering in description logics without inverses. In: AAAI 2008 (to appear, 2008)"},{"key":"15_CR17","unstructured":"Rosati, R.: On conjunctive query answering in $\\mathcal{EL}$ . In: DL 2007 (2007)"},{"key":"15_CR18","unstructured":"Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P.: Terminological reasoning in $\\mathcal{SHIQ}$ with ordered binary decision diagrams. In: AAAI 2008 (to appear, 2008)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87803-2_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T01:50:53Z","timestamp":1684547453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87803-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878025","9783540878032"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87803-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}