{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:31:26Z","timestamp":1743154286905,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642230905"},{"type":"electronic","value":"9783642230912"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23091-2_18","type":"book-chapter","created":{"date-parts":[[2011,8,10]],"date-time":"2011-08-10T04:52:27Z","timestamp":1312951947000},"page":"188-202","source":"Crossref","is-referenced-by-count":2,"title":["Conjunctive Query Optimization in OWL2-DL"],"prefix":"10.1007","author":[{"given":"Petr","family":"K\u0159emen","sequence":"first","affiliation":[]},{"given":"Zden\u011bk","family":"Kouba","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"OWL 2 Web Ontology Language Document Overview (2009), http:\/\/www.w3.org\/TR\/2009\/PR-owl2-overview-20090922\/"},{"key":"18_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Peter, P.-S.: The Description Logic Handbook, Theory, Implementation and Applications, Cambridge (2003)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the Decidability of Query Containment under Constraints. In: Proceedings of Principles on Database Systems 1998, pp. 149\u2013158 (1998)","DOI":"10.1145\/275487.275504"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-540-88564-1_26","volume-title":"The Semantic Web - ISWC 2008","author":"J. Dolby","year":"2008","unstructured":"Dolby, J., Fokoue, A., Kalyanpur, A., Ma, L., Schonberg, E., Srinivas, K., Sun, X.: Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 403\u2013418. Springer, Heidelberg (2008)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive Query Answering in the Description Logic $\\mathcal{SHIQ}$ . In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI 2007 (2007)","DOI":"10.1613\/jair.2372"},{"key":"18_CR6","unstructured":"Glimm, B., Horrocks, I., Sattler Conjunctive, U.: Query entailment for $\\mathcal{SHOQ}$ . In: Proc. of the 2007 Description Logic Workshop (DL 2007). CEUR Electronic Workshop Proceedings, vol.\u00a0250, pp. 65\u201375 (2007), http:\/\/ceur-ws.org\/Vol-250"},{"issue":"2-3","key":"18_CR7","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y. Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. Journal of Web Semantics\u00a03(2-3), 158\u2013182 (2005)","journal-title":"Journal of Web Semantics"},{"issue":"2","key":"18_CR8","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s10817-008-9104-7","volume":"41","author":"V. Haarslev","year":"2008","unstructured":"Haarslev, V., M\u00f6ller, R.: On the scalability of description logic instance retrieval. J. Autom. Reason.\u00a041(2), 99\u2013142 (2008)","journal-title":"J. Autom. Reason."},{"key":"18_CR9","first-page":"57","volume-title":"KR","author":"I. Horrocks","year":"2006","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible sroiq. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR, pp. 57\u201367. AAAI Press, Menlo Park (2006)"},{"issue":"4","key":"18_CR10","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/j.websem.2004.06.003","volume":"1","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. J. Web Sem.\u00a01(4), 345\u2013357 (2004)","journal-title":"J. Web Sem."},{"key":"18_CR11","first-page":"448","volume-title":"Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI)","author":"I. Horrocks","year":"2005","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for $\\mathcal{SHOIQ}$ . In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 448\u2013453. Morgan, San Francisco (2005)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10721959_39","volume-title":"Automated Deduction - CADE-17","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic $\\mathcal{SHIQ}$ . In: McAllester, D. (ed.) CADE 2000. LNCS, vol.\u00a01831, Springer, Heidelberg (2000)"},{"key":"18_CR13","unstructured":"Horrocks, I., Tessaris, S.: A conjunctive query language for description logic aboxes. In: AAAI\/IAAI, pp. 399\u2013404 (2000)"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11762256_12","volume-title":"The Semantic Web: Research and Applications","author":"L. Ma","year":"2006","unstructured":"Ma, L., Yang, Y., Qiu, Z., Xie, G.T., Pan, Y., Liu, S.: Towards a complete OWL ontology benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 125\u2013139. Springer, Heidelberg (2006)"},{"issue":"1","key":"18_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10817-008-9102-9","volume":"41","author":"M. Ortiz","year":"2008","unstructured":"Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. J. Autom. Reason.\u00a041(1), 61\u201398 (2008)","journal-title":"J. Autom. Reason."},{"key":"18_CR16","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: Owl web ontology language semantics and abstract syntax section 5. rdf-compatible model-theoretic semantics. Technical report, W3C ( December 2004)"},{"key":"18_CR17","unstructured":"Sirin, E., Parsia, B.: Optimizations for answering conjunctive ABox queries. Description Logics (2006)"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23091-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T19:39:17Z","timestamp":1560454757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23091-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642230905","9783642230912"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23091-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}