{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:54:12Z","timestamp":1767138852861,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319068251","type":"print"},{"value":"9783319068268","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06826-8_17","type":"book-chapter","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T09:15:37Z","timestamp":1400577337000},"page":"211-227","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Parallel OWL Reasoning: Merge Classification"],"prefix":"10.1007","author":[{"given":"Kejia","family":"Wu","sequence":"first","affiliation":[]},{"given":"Volker","family":"Haarslev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,5,21]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Aslani, M., Haarslev, V.: Parallel TBox classification in description logics\u2013first experimental results. In: Proceedings of the 2010 Conference on ECAI 2010: 19th European Conference on Artificial Intelligence, pp. 485\u2013490 (2010)","DOI":"10.3233\/978-1-60750-606-5-485"},{"issue":"2","key":"17_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00872105","volume":"4","author":"F Baader","year":"1994","unstructured":"Baader, F., Hollunder, B., Nebel, B., Profitlich, H.J., Franconi, E.: An empirical analysis of optimization techniques for terminological representation systems. Appl. Intell. 4(2), 109\u2013132 (1994)","journal-title":"Appl. Intell."},{"key":"17_CR3","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"F Baader","year":"2003","unstructured":"Baader, F., et al.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)"},{"issue":"4","key":"17_CR4","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1137\/0217049","volume":"17","author":"R Cole","year":"1988","unstructured":"Cole, R.: Parallel merge sort. SIAM J. Comput. 17(4), 770\u2013785 (1988)","journal-title":"SIAM J. Comput."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Doran, P., Tamma, V., Iannone, L.: Ontology module extraction for ontology reuse: an ontology engineering perspective. In: Proceedings of the Sixteenth ACM Conference on Information and Knowledge Management, pp. 61\u201370 (2007)","DOI":"10.1145\/1321440.1321451"},{"key":"17_CR6","unstructured":"Ester, M., Kriegel, H.P., Sander, J., Xu, X.: A density-based algorithm for discovering clusters in large spatial databases with noise. In: Proceedings of the Second International Conference on Knowledge Discovery and Data Mining (1996)"},{"issue":"12","key":"17_CR7","doi-asserted-by":"publisher","first-page":"7821","DOI":"10.1073\/pnas.122653799","volume":"99","author":"M Girvan","year":"2002","unstructured":"Girvan, M., Newman, M.E.J.: Community structure in social and biological networks. Proc. Nat. Acad. Sci. U.S.A. 99(12), 7821\u20137826 (2002)","journal-title":"Proc. Nat. Acad. Sci. U.S.A."},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-642-17746-0_15","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"B Glimm","year":"2010","unstructured":"Glimm, B., Horrocks, I., Motik, B., Stoilos, G.: Optimising ontology classification. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 225\u2013240. Springer, Heidelberg (2010)"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.websem.2011.12.007","volume":"14","author":"B Glimm","year":"2012","unstructured":"Glimm, B., Horrocks, I., Motik, B., Shearer, R., Stoilos, G.: A novel approach to ontology classification. Web Semantics: Science, Services and Agents on the World Wide Web 14, 84\u2013101 (2012)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"17_CR10","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: Proceedings International Joint Conference on Artificial Intelligence, pp. 298\u2013304 (2007)"},{"issue":"1","key":"17_CR11","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"BC Grau","year":"2008","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: theory and practice. J. Artif. Intell. Res. 31(1), 273\u2013318 (2008)","journal-title":"J. Artif. Intell. Res."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Grau, B.C., Parsia, B., Sirin, E., Kalyanpur, A.: Modularizing OWL ontologies. In: K-CAP 2005 Workshop on Ontology Management (2005)","DOI":"10.1145\/1060745.1060837"},{"key":"17_CR13","doi-asserted-by":"crossref","DOI":"10.1201\/9781420090512","volume-title":"Foundations of Semantic Web Technologies","author":"P Hitzler","year":"2009","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall\/CRC, London (2009)"},{"issue":"1","key":"17_CR14","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1016\/j.datak.2008.06.003","volume":"67","author":"W Hu","year":"2008","unstructured":"Hu, W., Qu, Y., Cheng, G.: Matching large ontologies: a divide-and-conquer approach. Data Knowl. Eng. 67(1), 140\u2013160 (2008)","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"17_CR15","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1023\/A:1021734202931","volume":"31","author":"M Jeon","year":"2003","unstructured":"Jeon, M., Kim, D.: Parallel merge sort with load balancing. Int. J. Parallel Prog. 31(1), 21\u201333 (2003)","journal-title":"Int. J. Parallel Prog."},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-25073-6_20","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"Y Kazakov","year":"2011","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Concurrent classification of $${\\cal EL}$$ ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 305\u2013320. Springer, Heidelberg (2011)"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: The incredible ELK: from polynomial procedures to efficient reasoning with EL ontologies (2013) (submitted to a journal)","DOI":"10.1007\/s10817-013-9296-3"},{"key":"17_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1135","DOI":"10.1007\/978-3-540-76890-6_41","volume-title":"On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops","author":"T Liebig","year":"2007","unstructured":"Liebig, T., M\u00fcller, F.: Parallelizing tableaux-based description logic reasoning. In: Meersman, R., Tari, Z. (eds.) OTM-WS 2007, Part II. LNCS, vol. 4806, pp. 1135\u20131144. Springer, Heidelberg (2007)"},{"key":"17_CR19","unstructured":"Lipkis, T.: A KL-ONE classifier. In: Proceedings of the 1981\u00a0KL-ONE Workshop, pp. 128\u2013145 (1982)"},{"key":"17_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/978-3-642-04441-0_36","volume-title":"Computational Collective Intelligence","author":"A Meissner","year":"2009","unstructured":"Meissner, A.: A simple parallel reasoning system for the $${\\cal ALC}$$ description logic. In: Nguyen, N.T., Kowalczyk, R., Chen, S.-M. (eds.) ICCCI 2009. LNCS, vol. 5796, pp. 413\u2013424. Springer, Heidelberg (2009)"},{"key":"17_CR21","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-77475-4_10","volume":"102","author":"A Meissner","year":"2008","unstructured":"Meissner, A., Brzykcy, G.: A parallel deduction for description logics with ALC language. Knowl.-Driven Comput. 102, 149\u2013164 (2008)","journal-title":"Knowl.-Driven Comput."},{"key":"17_CR22","unstructured":"Mutharaju, R., Hitzler, P., Mateti, P.: DistEL: A distributed EL+ ontology classifier. In: Proceedings of The 9th International Workshop on Scalable Semantic Web Knowledge Base Systems (2013)"},{"key":"17_CR23","unstructured":"Radenski, A.: Shared memory, message passing, and hybrid merge sorts for standalone and clustered SMPs. In: The 2011 International Conference on Parallel and Distributed Processing Techniques and Applications, vol. 11, pp. 367\u2013373 (2011)"},{"issue":"4","key":"17_CR24","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1869746.1869767","volume":"1","author":"TJ Rolfe","year":"2010","unstructured":"Rolfe, T.J.: A specimen of parallel programming: parallel merge sort implementation. ACM Inroads 1(4), 72\u201379 (2010)","journal-title":"ACM Inroads"},{"key":"17_CR25","unstructured":"Schlicht, A., Stuckenschmidt, H.: Distributed resolution for ALC - first results. In: Proceedings of the Workshop on Advancing Reasoning on the Web: Scalability and Commonsense (2008)"},{"key":"17_CR26","unstructured":"Shearer, R., Horrocks, I., Motik, B.: Exploiting partial information in taxonomy construction. In: Grau, B.G., Horrocks, I., Motik, B., Sattler, U. (eds.) Proceedings of the 2009 International Workshop on Description Logics. CEUR Workshop Proceedings, Oxford, UK, vol. 477, 27\u201330 July 2009"},{"issue":"5","key":"17_CR27","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1147\/rd.225.0509","volume":"22","author":"S Todd","year":"1978","unstructured":"Todd, S.: Algorithm and hardware for a merge sort using multiple processors. IBM J. Res. Dev. 22(5), 509\u2013517 (1978)","journal-title":"IBM J. Res. Dev."},{"key":"17_CR28","unstructured":"Wu, K., Haarslev, V.: A parallel reasoner for the description logic ALC. In: Proceedings of the 2012 International Workshop on Description Logics (2012)"},{"key":"17_CR29","unstructured":"Wu, K., Haarslev, V.: Exploring parallelization of conjunctive branches in tableau-based description logic reasoning. In: Proceedings of the 2013 International Workshop on Description Logics (2013)"},{"key":"17_CR30","doi-asserted-by":"crossref","unstructured":"Xu, X., Yuruk, N., Feng, Z., Schweiger, T.A.J.: SCAN: a structural clustering algorithm for networks. In: Proceedings of the 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp. 824\u2013833 (2007)","DOI":"10.1145\/1281192.1281280"}],"container-title":["Lecture Notes in Computer Science","Semantic Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06826-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T19:55:07Z","timestamp":1746215707000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06826-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319068251","9783319068268"],"references-count":30,"aliases":["10.1007\/978-3-319-14122-0_17"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06826-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"21 May 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}