{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T14:17:23Z","timestamp":1790086643974,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642351754","type":"print"},{"value":"9783642351761","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35176-1_1","type":"book-chapter","created":{"date-parts":[[2012,10,26]],"date-time":"2012-10-26T06:48:19Z","timestamp":1351234099000},"page":"1-16","source":"Crossref","is-referenced-by-count":27,"title":["MORe: Modular Combination of OWL Reasoners for Ontology Classification"],"prefix":"10.1007","author":[{"given":"Ana","family":"Armas Romero","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernardo","family":"Cuenca Grau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \n                    \n                      \n                    \n                    $\\mathcal{EL}$\n                   envelope. In: IJCAI (2005)"},{"issue":"2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00872105","volume":"4","author":"F. Baader","year":"1994","unstructured":"Baader, F., Franconi, E., Hollunder, B., Nebel, B., Profitlich, H.: An empirical analysis of optimization techniques for terminological representation systems. Applied Intelligence\u00a04(2), 109\u2013132 (1994)","journal-title":"Applied Intelligence"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL - a polynomial-time reasoner for life science ontologies. In: Proc. of IJCAR, pp. 287\u2013291 (2006)","DOI":"10.1007\/11814771_25"},{"issue":"4","key":"1_CR4","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10817-009-9159-0","volume":"44","author":"B. Cuenca Grau","year":"2010","unstructured":"Cuenca Grau, B., Halaschek-Wiener, C., Kazakov, Y., Suntisrivaraporn, B.: Incremental classification of description logics ontologies. JAR\u00a044(4), 337\u2013369 (2010)","journal-title":"JAR"},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"B. Cuenca Grau","year":"2008","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. JAIR\u00a031, 273\u2013318 (2008)","journal-title":"JAIR"},{"issue":"4","key":"1_CR6","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B. Cuenca Grau","year":"2008","unstructured":"Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. J. Web Semantics (JWS)\u00a06(4), 309\u2013322 (2008)","journal-title":"J. Web Semantics (JWS)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: WWW, pp. 717\u2013726 (2007)","DOI":"10.1145\/1242572.1242669"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Glimm, B., Horrocks, I., Motik, B., Shearer, R., Stoilos, G.: A novel approach to ontology classification. J. of Web Semantics 10(1) (2011)","DOI":"10.2139\/ssrn.3198958"},{"key":"1_CR9","unstructured":"Haarslev, V., M\u00f6ller, R.: High performance reasoning with very large knowledge bases: A practical case study. In: Proc. IJCAI, pp. 161\u2013168 (2001)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Haarslev, V., M\u00f6ller, R.: Racer system description. In: IJCAR, pp. 701\u2013705 (2001)","DOI":"10.1007\/3-540-45744-5_59"},{"key":"1_CR11","unstructured":"Horrocks, I.: Implementation and optimisation techniques. In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 306\u2013346 (2003)"},{"key":"1_CR12","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \n                    \n                      \n                    \n                    $\\mathcal{SROIQ}$\n                  . In: Proc. of KR, pp. 57\u201367 (2006)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-25073-6_18","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"E. Jim\u00e9nez-Ruiz","year":"2011","unstructured":"Jim\u00e9nez-Ruiz, E., Cuenca Grau, B.: LogMap: Logic-Based and Scalable Ontology Matching. 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. 273\u2013288. Springer, Heidelberg (2011)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-540-68234-9_16","volume-title":"The Semantic Web: Research and Applications","author":"E. Jim\u00e9nez-Ruiz","year":"2008","unstructured":"Jim\u00e9nez-Ruiz, E., Grau, B.C., Sattler, U., Schneider, T., Berlanga, R.: Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol.\u00a05021, pp. 185\u2013199. Springer, Heidelberg (2008)"},{"key":"1_CR15","unstructured":"Kazakov, Y.: \n                    \n                      \n                    \n                    $\\mathcal{RIQ}$\n                   and \n                    \n                      \n                    \n                    $\\mathcal{SROIQ}$\n                   are harder than \n                    \n                      \n                    \n                    $\\mathcal{SHOIQ}$\n                  . In: Proc. of KR, pp. 274\u2013284 (2008)"},{"key":"1_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 \n                    \n                      \n                    \n                    $\\mathcal{EL}$\n                   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":"1_CR17","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. of IJCAI, pp. 453\u2013458 (2007)"},{"key":"1_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-73595-3_7","volume-title":"Automated Deduction \u2013 CADE-21","author":"C. Lutz","year":"2007","unstructured":"Lutz, C., Wolterinst, F.: Conservative Extensions in the Lightweight Description Logic [Equation image]. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 84\u201399. Springer, Heidelberg (2007)"},{"key":"1_CR19","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 web ontology language profiles. W3C Recommendation (2009)"},{"key":"1_CR20","unstructured":"OWL 2 Web Ontology Language Direct Semantics. W3C Recommendation (October 27, 2009), \n                    \n                      http:\/\/www.w3.org\/TR\/owl2-direct-semantics\/"},{"issue":"2","key":"1_CR21","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., Cuenca Grau, B., 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":"1_CR22","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":"3","key":"1_CR23","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.: Optimizing terminological reasoning for expressive description logics. JAR\u00a039(3), 277\u2013316 (2007)","journal-title":"JAR"},{"key":"1_CR24","unstructured":"Vescovo, C.D., Parsia, B., Sattler, U., Schneider, T.: The modular structure of an ontology: Atomic decomposition. In: Proc. of IJCAI, pp. 2232\u20132237 (2011)"}],"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-35176-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T10:03:27Z","timestamp":1557309807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35176-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351754","9783642351761"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35176-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}