{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:51:37Z","timestamp":1725889897946},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351723"},{"type":"electronic","value":"9783642351730"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35173-0_30","type":"book-chapter","created":{"date-parts":[[2012,10,26]],"date-time":"2012-10-26T10:03:56Z","timestamp":1351245836000},"page":"407-414","source":"Crossref","is-referenced-by-count":6,"title":["Very Large Scale OWL Reasoning through Distributed Computation"],"prefix":"10.1007","author":[{"given":"Raghava","family":"Mutharaju","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Aslani, M., Haarslev, V.: Concurrent classification of owl ontologies - an empirical evaluation. In: Proceedings of the 2012 International Workshop on Description Logics, DL 2012, Rome, Italy, June 7-10. CEUR Workshop Proceedings, vol.\u00a0846, CEUR-WS.org (2012)"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK. Morgan-Kaufmann Publishers (2005)","DOI":"10.25368\/2022.144"},{"key":"30_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11814771_25","volume-title":"Automated Reasoning","author":"F. Baader","year":"2006","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL \u2014 A Polynomial-Time Reasoner for Life Science Ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 287\u2013291. Springer, Heidelberg (2006)"},{"key":"30_CR4","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: Efficient reasoning in $\\mathcal{EL}^+$ . In: Proceedings of the 2006 International Workshop on Description Logics (DL 2006). CEUR Workshop Proceedings, vol.\u00a0189 (2006)"},{"key":"30_CR5","unstructured":"De Leon Battista, A., Dumontier, M.: A platform for reasoning with owl-el knowledge bases in a peer-to-peer environment. In: Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23-24. CEUR Workshop Proceedings, vol.\u00a0529. CEUR-WS.org (2009)"},{"key":"30_CR6","unstructured":"Delaitre, V., Kazakov, Y.: Classifying elh ontologies in sql databases. In: Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23-24 (2009)"},{"key":"30_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-642-13486-9_15","volume-title":"The Semantic Web: Research and Applications","author":"J. Urbani","year":"2010","unstructured":"Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.: OWL Reasoning with WebPIE: Calculating the Closure of 100 Billion Triples. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part I. LNCS, vol.\u00a06088, pp. 213\u2013227. Springer, Heidelberg (2010)"},{"issue":"2","key":"30_CR8","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/SW-2011-0034","volume":"2","author":"K. Dentler","year":"2011","unstructured":"Dentler, K., et al.: Comparison of reasoners for large ontologies in the owl 2 el profile. Semantic Web Journal\u00a02(2), 71\u201387 (2011)","journal-title":"Semantic Web Journal"},{"key":"30_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/978-3-540-88564-1_32","volume-title":"The Semantic Web - ISWC 2008","author":"Z. Kaoudi","year":"2008","unstructured":"Kaoudi, Z., Miliaraki, I., Koubarakis, M.: RDFS Reasoning and Query Answering on Top of DHTs. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 499\u2013516. Springer, Heidelberg (2008)"},{"key":"30_CR10","unstructured":"Kazakov, Y.: Consequence-driven reasoning for horn SHIQ ontologies. In: Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI 2009), July 11-17, pp. 2040\u20132045 (2009)"},{"key":"30_CR11","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 $\\mathcal{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.\u00a07031, pp. 305\u2013320. Springer, Heidelberg (2011)"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M., Maier, F., Krisnadhi, A., Hitzler, P.: A better uncle for owl: nominal schemas for integrating rules and ontologies. In: Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, pp. 645\u2013654. ACM (2011)","DOI":"10.1145\/1963405.1963496"},{"key":"30_CR13","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.\u00a04806, pp. 1135\u20131144. Springer, Heidelberg (2007)"},{"key":"30_CR14","unstructured":"Liebig, T., Steigmiller, A., Noppens, O.: Scalability via parallelization of OWL reasoning. In: Proceedings of the 4th International Workshop on New Forms of Reasoning for the Semantic Web: Scalable and Dynamic (NeFoRS 2010) (2010)"},{"key":"30_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/978-3-642-25073-6_26","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"C. Liu","year":"2011","unstructured":"Liu, C., Qi, G., Wang, H., Yu, Y.: Large Scale Fuzzy pD * Reasoning Using MapReduce. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 405\u2013420. Springer, Heidelberg (2011)"},{"key":"30_CR16","unstructured":"Mutharaju, R., Maier, F., Hitzler, P.: A mapreduce algorithm for el+. In: Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7 (2010)"},{"key":"30_CR17","unstructured":"Ongenae, F., De Backere, F., Steurbaut, K., Colpaert, K., Kerckhove, W., Decruyenaere, J., De Turck, F.: Appendix b: overview of the existing medical and natural language ontologies which can be used to support the translation process, http:\/\/www.biomedcentral.com\/content\/supplementary\/1472-6947-10-3-s2.pdf"},{"issue":"4","key":"30_CR18","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.websem.2009.09.002","volume":"7","author":"E. Oren","year":"2009","unstructured":"Oren, E., Kotoulas, S., Anadiotis, G., Siebes, R., ten Teije, A., van Harmelen, F.: Marvin: Distributed reasoning over large-scale Semantic Web data. Web Semantics: Science, Services and Agents on the World Wide Web\u00a07(4), 305\u2013316 (2009)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"30_CR19","unstructured":"Ren, Y., Pan, J.Z., Lee, K.: Optimising parallel abox reasoning of el ontologies. In: Proceedings of the 2012 International Workshop on Description Logics, DL 2012, Rome, Italy, June 7-10. CEUR Workshop Proceedings, vol.\u00a0846. CEUR-WS.org (2012)"},{"key":"30_CR20","unstructured":"Schlicht, A., Stuckenschmidt, H.: Distributed resolution for alc. In: Proceedings of the 21st International Workshop on Description Logics (DL 2008), Dresden, Germany, May 13-16 (2008)"},{"key":"30_CR21","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 Networks. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol.\u00a05837, pp. 87\u2013101. Springer, Heidelberg (2009)"},{"key":"30_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-642-23580-1_27","volume-title":"Web Reasoning and Rule Systems","author":"A. Schlicht","year":"2011","unstructured":"Schlicht, A., Stuckenschmidt, H.: MapResolve. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol.\u00a06902, pp. 294\u2013299. Springer, Heidelberg (2011)"},{"key":"30_CR23","doi-asserted-by":"crossref","unstructured":"Soma, R., Prasanna, V.K.: Parallel inferencing for OWL knowledge bases. In: 2008 International Conference on Parallel Processing, ICPP 2008, Portland, Oregon, USA, September 8-12 (2008)","DOI":"10.1109\/ICPP.2008.64"},{"key":"30_CR24","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":"30_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"730","DOI":"10.1007\/978-3-642-25073-6_46","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"J. Urbani","year":"2011","unstructured":"Urbani, J., van Harmelen, F., Schlobach, S., Bal, H.: QueryPIE: Backward Reasoning for OWL Horst over Very Large Knowledge Bases. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 730\u2013745. Springer, Heidelberg (2011)"},{"key":"30_CR26","unstructured":"van Gurp, M., et al.: Linkbase, a philosophically-inspired ontology for nlp\/nlu applications. In: KR-MED 2006, Formal Biomedical Knowledge Representation, Proceedings of the Second International Workshop on Formal Biomedical Knowledge Representation, Baltimore, Maryland, USA, November 8. CEUR Workshop Proceedings (2006)"},{"key":"30_CR27","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)"},{"key":"30_CR28","unstructured":"Wu, K., Haarslev, V.: A parallel reasoner for the description logic alc. In: Proceedings of the 2012 International Workshop on Description Logics, DL 2012, Rome, Italy, June 7-10 (2012)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35173-0_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T07:45:23Z","timestamp":1687765523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35173-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351723","9783642351730"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35173-0_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}