{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:45:00Z","timestamp":1725493500683},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540762973"},{"type":"electronic","value":"9783540762980"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-76298-0_23","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T10:13:59Z","timestamp":1193393639000},"page":"310-323","source":"Crossref","is-referenced-by-count":22,"title":["Conjunctive Queries for a Tractable Fragment of OWL\u00a01.1"],"prefix":"10.1007","author":[{"given":"Markus","family":"Kr\u00f6tzsch","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Rudolph","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","first-page":"77","volume-title":"STOC 1977","author":"A.K. Chandra","year":"1977","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: Hopcroft, J.E., Friedman, E.P., Harrison, M.A. (eds.) STOC 1977. Proc. 9th annual ACM Symposium on Theory of Computing, pp. 77\u201390. ACM Press, New York (1977)"},{"key":"23_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-44404-1_21","volume-title":"Logic for Programming and Automated Reasoning","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tessaris, S., Tobies, S.: How to decide query containment under constraints using a description logic. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol.\u00a01955, pp. 326\u2013343. Springer, Heidelberg (2000)"},{"key":"23_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-32275-7_2","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"U. Hustadt","year":"2005","unstructured":"Hustadt, U., Motik, B., Sattler, U.: A decomposition rule for decision procedures by resolution-based calculi. In: Baader, F., Voronkov, A. (eds.) LPAR 2004. LNCS (LNAI), vol.\u00a03452, pp. 21\u201335. Springer, Heidelberg (2005)"},{"key":"23_CR4","unstructured":"Ortiz, M.M., Calvanese, D., Eiter, T.: Data complexity of answering unions of conjunctive queries in SHIQ. In: Proc. 2006 Description LogicWorkshop (DL 2006), CEUR Electronic Workshop Proceedings (2006), \n                    \n                      http:\/\/ceur-ws.org\/"},{"key":"23_CR5","unstructured":"Ortiz, M.M., Calvanese, D., Eiter, T.: Characterizing data complexity for conjunctive query answering in expressive description logics. In: AAAI 2006. Proc. 21st Nat. Conf. on Artificial Intelligence (2006)"},{"key":"23_CR6","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. In: IJCAI 2007. Proc. 21st Int. Joint Conf. on Artificial Intelligence, Hyderabad, India (2007), available at \n                    \n                      http:\/\/www.ijcai.org\/papers07\/contents.php"},{"key":"23_CR7","volume-title":"IJCAI 2005","author":"F. Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: IJCAI 2005. Proc. 19th Int. Joint Conf. on Artificial Intelligence, Morgan-Kaufmann Publishers, Edinburgh, UK (2005)"},{"key":"23_CR8","unstructured":"Krisnadhi, A., Lutz, C.: Data complexity in the EL family of DLs. In: Proc. DL 2007. CEUR Electronic Workshop Proceedings (2007)"},{"key":"23_CR9","first-page":"343","volume-title":"IJCAI 2003","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Sattler, U.: Decidability of SHIQ with complex role inclusion axioms. In: Gottlob, G., Walsh, T. (eds.) IJCAI 2003. Proc. 18th Int. Joint Conf. on Artificial Intelligence, Acapulco, Mexico, pp. 343\u2013348. Morgan-Kaufmann Publishers, San Francisco (2003)"},{"key":"23_CR10","first-page":"57","volume-title":"KR 2006","author":"I. Horrocks","year":"2006","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: KR 2006. Proc. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 57\u201367. AAAI Press, Stanford, California, USA (2006)"},{"key":"23_CR11","unstructured":"11. Kr\u00f6tzsch, M., Rudolph, S.: Conjunctive queries for EL with role composition. Technical report, Universit\u00e4t Karlsruhe (TH), Germany (2007), available at \n                    \n                      http:\/\/www.aifb.uni-karlsruhe.de\/Publikationen\/showPublikation?publ_id=1463"},{"key":"23_CR12","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: KR 2006. Proc. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 260\u2013270 (2006)"},{"key":"23_CR13","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 Computing Surveys\u00a033, 374\u2013425 (2001)","journal-title":"ACM Computing Surveys"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Kozen, D.: Lower bounds for natural proof systems. In: Proc. 18th Symp. on the Foundations of Computer Science, pp. 254\u2013266 (1977)","DOI":"10.1109\/SFCS.1977.16"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76298-0_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:46:11Z","timestamp":1619505971000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76298-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540762973","9783540762980"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76298-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}