{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:56:34Z","timestamp":1761807394907},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540768890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76890-6_41","type":"book-chapter","created":{"date-parts":[[2007,11,21]],"date-time":"2007-11-21T10:37:06Z","timestamp":1195641426000},"page":"1135-1144","source":"Crossref","is-referenced-by-count":19,"title":["Parallelizing Tableaux-Based Description Logic Reasoning"],"prefix":"10.1007","author":[{"given":"Thorsten","family":"Liebig","sequence":"first","affiliation":[]},{"given":"Felix","family":"M\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"41_CR1","volume-title":"The description logic handbook: theory, implementation, and applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York (2003)"},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"Berger, E.D., McKinley, K.S., Blumofe, R.D., Wilson, P.R.: Hoard: A scalable memory allocator for multithreaded applications. In: International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IX), Cambridge, MA, pp. 117\u2013128 (November 2000)","DOI":"10.1145\/378993.379232"},{"key":"41_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-60343-3_32","volume-title":"KI-95: Advances in Artificial Intelligence","author":"F.W. Bergmann","year":"1995","unstructured":"Bergmann, F.W., Quantz, J.J.: Parallelizing Description Logics. In: Wachsmuth, I., Brauer, W., Rollinger, C.-R. (eds.) KI-95: Advances in Artificial Intelligence. LNCS, vol.\u00a0981, pp. 137\u2013148. Springer, Heidelberg (1995)"},{"key":"41_CR4","unstructured":"Haarslev, V., M\u00f6ller, R.: Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. In: Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2000), pp. 273\u2013284 (2000)"},{"key":"41_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/3-540-45744-5_4","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R., Turhan, A.Y.: Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 29\u201344. Springer, Heidelberg (2001)"},{"key":"41_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/11524564_5","volume-title":"Conceptual Structures: Common Semantics for Sharing Knowledge","author":"I. Horrocks","year":"2005","unstructured":"Horrocks, I.: Applications of description logics: State of the art and research challenges. In: Dau, F., Mugnier, M.-L., Stumme, G. (eds.) ICCS 2005. LNCS (LNAI), vol.\u00a03596, pp. 78\u201390. Springer, Heidelberg (2005)"},{"key":"41_CR7","unstructured":"Liebig, T.: Reasoning with OWL \u2013 system support and insights \u2013. Technical Report TR-2006-04, Ulm University, Ulm, Germany (September 2006)"},{"key":"41_CR8","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/BF00881952","volume":"13","author":"J. Schumann","year":"1994","unstructured":"Schumann, J.: Tableau-Based Theorem Provers: Systems and Implementations. Journal of Automated Reasoning\u00a013, 409\u2013421 (1994)","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"41_CR9","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10817-007-9077-y","volume":"39","author":"D. Tsarkov","year":"2007","unstructured":"Tsarkov, D., Horrocks, I., Patel-Schneider, P.F.: Optimising Terminological Reasoning for Expressive Description Logics. Journal of Automated Reasoning\u00a039(3), 277\u2013316 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"41_CR10","unstructured":"Voronkov, A.: Automated Reasoning: Past Story and New Trends. In: Proc. of the Int. Joint Conf. on AI (IJCAI-2003, pp. 1607\u20131612 (2003)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76890-6_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:45:40Z","timestamp":1619520340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76890-6_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540768890"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76890-6_41","relation":{},"subject":[]}}