{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T14:26:24Z","timestamp":1773325584234,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642250729","type":"print"},{"value":"9783642250736","type":"electronic"}],"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-25073-6_20","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T04:58:08Z","timestamp":1318913888000},"page":"305-320","source":"Crossref","is-referenced-by-count":38,"title":["Concurrent Classification of $\\mathcal{EL}$ Ontologies"],"prefix":"10.1007","author":[{"given":"Yevgeny","family":"Kazakov","sequence":"first","affiliation":[]},{"given":"Markus","family":"Kr\u00f6tzsch","sequence":"additional","affiliation":[]},{"given":"Franti\u0161ek","family":"Siman\u010d\u00edk","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Aslani, M., Haarslev, V.: Parallel TBox classification in description logics \u2013 first experimental results. In: Proc. 19th European Conf. on Artificial Intelligence (ECAI 2010), pp. 485\u2013490. IOS Press (2010)","DOI":"10.3233\/978-1-60750-606-5-485"},{"key":"20_CR2","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 364\u2013369. Professional Book Center (2005)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Handbook of Automated Reasoning, pp. 19\u201399. Elsevier and MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50004-7"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.: Parallelizing Description Logics. In: Wachsmuth, I., Brauer, W., Rollinger, C.-R. (eds.) KI 1995. LNCS, vol.\u00a0981, pp. 137\u2013148. Springer, Heidelberg (1995)"},{"issue":"2","key":"20_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.4018\/jswis.2009040103","volume":"5","author":"A. Hogan","year":"2009","unstructured":"Hogan, A., Harth, A., Polleres, A.: Scalable authoritative OWL reasoning for the Web. Int. J. of Semantic Web Inf. Syst.\u00a05(2), 49\u201390 (2009)","journal-title":"Int. J. of Semantic Web Inf. Syst."},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-17746-0_22","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"A. Hogan","year":"2010","unstructured":"Hogan, A., Pan, J.Z., Polleres, A., Decker, S.: SAOR: Template Rule Optimisations for Distributed Reasoning Over 1 Billion Linked Data Triples. 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.\u00a06496, pp. 337\u2013353. Springer, Heidelberg (2010)"},{"key":"20_CR7","unstructured":"Kazakov, Y.: Consequence-driven reasoning for Horn $\\mathcal{SHIQ}$ ontologies. In: Proc. 21st Int. Conf. on Artificial Intelligence (IJCAI 2009), pp. 2040\u20132045. IJCAI (2009)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Concurrent classification of $\\mathcal{EL}$ ontologies. Tech. rep., University of Oxford (2011), http:\/\/code.google.com\/p\/elk-reasoner\/wiki\/Publications","DOI":"10.1007\/978-3-642-25073-6_20"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Kotoulas, S., Oren, E., van Harmelen, F.: Mind the data skew: distributed inferencing by speeddating in elastic regions. In: Proc. 19th Int. Conf. on World Wide Web (WWW 2010), pp. 531\u2013540. ACM (2010)","DOI":"10.1145\/1772690.1772745"},{"key":"20_CR10","unstructured":"Lawley, M.J., Bousquet, C.: Fast classification in Prot\u00e9g\u00e9: Snorocket as an OWL 2 EL reasoner. In: Proc. 6th Australasian Ontology Workshop (IAOA 2010). Conferences in Research and Practice in Information Technology, vol.\u00a0122, pp. 45\u201349. Australian Computer Society Inc. (2010)"},{"key":"20_CR11","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: Chung, S., Herrero, P. (eds.) OTM-WS 2007, Part II. LNCS, vol.\u00a04806, pp. 1135\u20131144. Springer, Heidelberg (2007)"},{"issue":"1","key":"20_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.2478\/v10006-011-0006-1","volume":"21","author":"A. Meissner","year":"2011","unstructured":"Meissner, A.: Experimental analysis of some computation rules in a simple parallel reasoning system for the $\\mathcal{ALC}$ description logic. Int. J. of Applied Mathematics and Computer Science\u00a021(1), 83\u201395 (2011)","journal-title":"Int. J. of Applied Mathematics and Computer Science"},{"key":"20_CR13","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL\u00a02 Web Ontology Language: Profiles. W3C Recommendation (October 27, 2009), http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"20_CR14","unstructured":"Mutharaju, R., Maier, F., Hitzler, P.: A MapReduce algorithm for $\\mathcal{EL}^+$ . In: Proc. 23rd Int. Workshop on Description Logics (DL 2010). CEUR Workshop Proceedings, vol.\u00a0573, pp. 464\u2013474. CEUR-WS.org (2010)"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-05082-4_7","volume-title":"Web Reasoning and Rule Systems","author":"A. Schlicht","year":"2009","unstructured":"Schlicht, A., Stuckenschmidt, H.: Distributed Resolution for Expressive Ontology Retworks. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol.\u00a05837, pp. 87\u2013101. Springer, Heidelberg (2009)"},{"key":"20_CR16","unstructured":"Siman\u010d\u00edk, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond Horn ontologies. In: Proc. 22nd Int. Conf. on Artificial Intelligence (IJCAI 2011), pp. 1093\u20131098. AAAI Press\/IJCAI (2011)"},{"issue":"2","key":"20_CR17","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. of Web Semantics\u00a05(2), 51\u201353 (2007)","journal-title":"J. of Web Semantics"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Soma, R., Prasanna, V.K.: Parallel inferencing for OWL knowledge bases. In: Proc. Int. Conf. on Parallel Processing (ICPP 2008), pp. 75\u201382. IEEE Computer Society (2008)","DOI":"10.1109\/ICPP.2008.64"},{"key":"20_CR19","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)"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.: WebPIE: a Web-scale parallel inference engine using MapReduce. J. of Web Semantics (in press, 2011), (accepted manuscript, preprint), http:\/\/www.cs.vu.nl\/~frankh\/postscript\/JWS11.pdf","DOI":"10.2139\/ssrn.3198932"},{"key":"20_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1007\/978-3-642-04930-9_40","volume-title":"The Semantic Web - ISWC 2009","author":"J. Urbani","year":"2009","unstructured":"Urbani, J., Kotoulas, S., Oren, E., van Harmelen, F.: Scalable Distributed Reasoning Using MapReduce. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 634\u2013649. Springer, Heidelberg (2009)"},{"key":"20_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-642-04930-9_43","volume-title":"The Semantic Web - ISWC 2009","author":"J. Weaver","year":"2009","unstructured":"Weaver, J., Hendler, J.A.: Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 682\u2013697. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25073-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T00:17:38Z","timestamp":1741825058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25073-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250729","9783642250736"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25073-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}