{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:58:10Z","timestamp":1743029890243,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642177453"},{"type":"electronic","value":"9783642177460"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17746-0_47","type":"book-chapter","created":{"date-parts":[[2010,12,8]],"date-time":"2010-12-08T04:05:44Z","timestamp":1291781144000},"page":"747-763","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Completeness Guarantees for Incomplete Reasoners"],"prefix":"10.1007","author":[{"given":"Giorgos","family":"Stoilos","sequence":"first","affiliation":[]},{"given":"Bernardo","family":"Cuenca Grau","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"47_CR1","volume-title":"The Description Logic Handbook: Theory, implementation and applications","author":"F. Baader","year":"2002","unstructured":"Baader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and applications. Cambridge Uni. Press, New York (2002)"},{"issue":"3","key":"47_CR2","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. of Automated Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"J. of Automated Reasoning"},{"key":"47_CR3","doi-asserted-by":"crossref","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic $\\mathcal{SHIQ}$. In: Proc. of IJCAI 2007 (2007)","DOI":"10.1613\/jair.2372"},{"issue":"2","key":"47_CR4","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), 158\u2013182 (2005)","journal-title":"Journal of Web Semantics"},{"key":"47_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11574620_29","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"P. Hitzler","year":"2005","unstructured":"Hitzler, P., Vrandecic, D.: Resolution-based approximate reasoning for OWL DL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 383\u2013397. Springer, Heidelberg (2005)"},{"key":"47_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"The Semantic Web","author":"A. Kalyanpur","year":"2007","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 267\u2013280. Springer, Heidelberg (2007)"},{"key":"47_CR7","unstructured":"Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic $\\mathcal{EL}$ using a relational database system. In: Proc. of IJCAI 2009 (2009)"},{"key":"47_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-73595-3_7","volume-title":"Automated Deduction \u2013 CADE-21","author":"C. Lutz","year":"2007","unstructured":"Lutz, C., Wolter, F.: Conservative extensions in the lightweight description logic $\\mathcal{EL}$. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 84\u201399. Springer, Heidelberg (2007)"},{"key":"47_CR9","unstructured":"Ortiz, M., Calvanese, D., Eiter, T.: Characterizing data complexity for conjunctive query answering in expressive description logics. In: Proc. of AAAI 2006 (2006)"},{"key":"47_CR10","unstructured":"Pan, J.Z., Thomas, E.: Approximating OWL-DL Ontologies. In: Proc. of AAAI 2007, pp. 1434\u20131439 (2007)"},{"key":"47_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-642-04930-9_31","volume-title":"The Semantic Web - ISWC 2009","author":"H. P\u00e9rez-Urbina","year":"2009","unstructured":"P\u00e9rez-Urbina, H., Horrocks, I., Motik, B.: Efficient query answering for OWL 2. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 489\u2013504. Springer, Heidelberg (2009)"},{"key":"47_CR12","first-page":"133","volume":"10","author":"A. Poggi","year":"2008","unstructured":"Poggi, A., Lembo, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semantics\u00a010, 133\u2013173 (2008)","journal-title":"J. Data Semantics"},{"key":"47_CR13","doi-asserted-by":"crossref","unstructured":"Stoilos, G., Cuenca Grau, B., Horrocks, I.: How incomplete is your semantic web reasoner? In: Proc. of AAAI 2010 (2010)","DOI":"10.1609\/aaai.v24i1.7498"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2010"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17746-0_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T12:09:36Z","timestamp":1685880576000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-17746-0_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642177453","9783642177460"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17746-0_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}