{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T13:28:32Z","timestamp":1767706112984,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642142024"},{"type":"electronic","value":"9783642142031"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14203-1_39","type":"book-chapter","created":{"date-parts":[[2010,7,12]],"date-time":"2010-07-12T13:10:58Z","timestamp":1278940258000},"page":"457-471","source":"Crossref","is-referenced-by-count":15,"title":["Optimized Description Logic Reasoning via Core Blocking"],"prefix":"10.1007","author":[{"given":"Birte","family":"Glimm","sequence":"first","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]},{"given":"Boris","family":"Motik","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","volume-title":"The Description Logic Handbook","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"39_CR2","unstructured":"Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 web ontology language document overview (2009), http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"39_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"issue":"14","key":"39_CR4","doi-asserted-by":"publisher","first-page":"1275","DOI":"10.1016\/j.artint.2009.06.003","volume":"173","author":"B. Motik","year":"2009","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. of Artificial Intelligence Research\u00a0173(14), 1275\u20131309 (2009)","journal-title":"J. of Artificial Intelligence Research"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. of Web Semantics\u00a05(2) (2007)","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"39_CR6","unstructured":"Haarslev, V., M\u00f6ller, R.: Description of the RACER system and its applications. In: Proc. of DL-01 (2001)"},{"key":"39_CR7","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U.: Optimised reasoning for $\\mathcal{SHIQ}$. In: Proc. of ECAI-02, pp. 277\u2013281 (2002)","DOI":"10.25368\/2022.118"},{"key":"39_CR8","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: : Proc. of IJCAI-05, vol.\u00a019, pp. 364\u2013369 (2005)"},{"key":"39_CR9","unstructured":"Kazakov, Y.: Consequence-driven reasoning for horn SHIQ ontologies. In: : Proc. of IJCAI-09, pp. 2040\u20132045 (2009)"},{"issue":"3","key":"39_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.websem.2006.05.007","volume":"4","author":"C. Golbreich","year":"2006","unstructured":"Golbreich, C., Zhang, S., Bodenreider, O.: The foundational model of anatomy in owl: Experience and perspectives. J. of Web Semantics: Science, Services and Agents on the World Wide Web\u00a04(3), 181\u2013195 (2006)","journal-title":"J. of Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"39_CR11","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $\\mathcal{SROIQ}$. In: : Proc. of KR-06, pp. 57\u201367 (2006)"},{"key":"39_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11814771_11","volume-title":"Automated Reasoning","author":"P. Baumgartner","year":"2006","unstructured":"Baumgartner, P., Schmidt, R.A.: Blocking and other enhancements for bottom-up model generation methods. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 125\u2013139. Springer, Heidelberg (2006)"},{"key":"39_CR13","unstructured":"Ding, Y., Haarslev, V.: Tableau caching for description logics with inverse and transitive roles. In: Proc. of DL-06 (2006)"},{"key":"39_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-642-02716-1_16","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"R. Gor\u00e9","year":"2009","unstructured":"Gor\u00e9, R., Widmann, F.: Sound global state caching for ALC with inverse roles. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS, vol.\u00a05607, pp. 205\u2013219. Springer, Heidelberg (2009)"},{"issue":"1","key":"39_CR15","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0004-3702(00)00070-9","volume":"124","author":"F.M. Donini","year":"2000","unstructured":"Donini, F.M., Massacci, F.: EXPTIME tableaux for $\\mathcal{ALC}$. Artificial Intelligence Journal\u00a0124(1), 87\u2013138 (2000)","journal-title":"Artificial Intelligence Journal"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14203-1_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T01:44:04Z","timestamp":1685670244000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-14203-1_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642142024","9783642142031"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14203-1_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}