{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:34:57Z","timestamp":1740123297703,"version":"3.37.3"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,6,8]],"date-time":"2017-06-08T00:00:00Z","timestamp":1496880000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["0"],"award-info":[{"award-number":["0"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1007\/s10817-017-9414-8","type":"journal-article","created":{"date-parts":[[2017,6,8]],"date-time":"2017-06-08T05:16:45Z","timestamp":1496899005000},"page":"385-419","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["OWL Reasoning: Subsumption Test Hardness and Modularity"],"prefix":"10.1007","volume":"60","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7356-1779","authenticated-orcid":false,"given":"Nicolas","family":"Matentzoglu","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3222-7571","authenticated-orcid":false,"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[]},{"given":"Uli","family":"Sattler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,8]]},"reference":[{"key":"9414_CR1","unstructured":"Alaya, N., Yahia, S.B., Lamolle, M.: Towards unveiling the ontology key features altering reasoner performances. CoRR arxiv:1509.08717 (2015)"},{"key":"9414_CR2","doi-asserted-by":"crossref","unstructured":"Alaya, N., Yahia, S.B., Lamolle, M.: What makes ontology reasoning so arduous?: unveiling the key ontological features. In: Proceedings of the 5th international conference on web intelligence, mining and semantics, New York, NY, USA (2015)","DOI":"10.1145\/2797115.2797117"},{"key":"9414_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511711787","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F Baader","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"issue":"3","key":"9414_CR4","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/122296.122298","volume":"2","author":"F Baader","year":"1991","unstructured":"Baader, F., Hollunder, B.: KRIS: knowledge representation and inference system. SIGART Bull. 2(3), 8\u201314 (1991). doi: 10.1145\/122296.122298","journal-title":"SIGART Bull."},{"issue":"2","key":"9414_CR5","doi-asserted-by":"crossref","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."},{"issue":"2","key":"9414_CR6","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/SW-2011-0034","volume":"2","author":"K Dentler","year":"2011","unstructured":"Dentler, K., Cornet, R., ten Teije, A., de Keizer, N.: Comparison of reasoners for large ontologies in the OWL 2 EL profile. Semant. Web 2(2), 71\u201387 (2011)","journal-title":"Semant. Web"},{"key":"9414_CR7","doi-asserted-by":"crossref","unstructured":"Georges, A., Buytaert, D., Eeckhout, L.: Statistically rigorous java performance evaluation. In: Proceedings of the 22nd annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, OOPSLA 2007, October 21\u201325, 2007, Montreal, Quebec, Canada, pp. 57\u201376 (2007)","DOI":"10.1145\/1297027.1297033"},{"key":"9414_CR8","doi-asserted-by":"crossref","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. J. Web Semant. 14, 84\u2013101 (2012)","journal-title":"J. Web Semant."},{"issue":"3","key":"9414_CR9","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s10817-014-9305-1","volume":"53","author":"B Glimm","year":"2014","unstructured":"Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z., Hermi, T.: An OWL 2 reasoner. J. Autom. Reason. 53(3), 245\u2013269 (2014)","journal-title":"J. Autom. Reason."},{"key":"9414_CR10","unstructured":"Gon\u00e7alves, R.S., Bail, S., Jim\u00e9nez-Ruiz, E., Matentzoglu, N., Parsia, B., Glimm, B., Kazakov, Y.: OWL reasoner evaluation (ORE) workshop 2013 results: short report. In: Informal proceedings of the 2nd international workshop on OWL reasoner evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 1\u201318 (2013)"},{"key":"9414_CR11","unstructured":"Gon\u00e7alves, R.S., Matentzoglu, N., Parsia, B., Sattler, U.: The empirical robustness of description logic classification. In: Proceedings of the ISWC 2013 posters and demonstrations track, Sydney, Australia, October 23, 2013, pp. 277\u2013280 (2013)"},{"key":"9414_CR12","unstructured":"Gon\u00e7alves, R.S., Parsia, B., Sattler, U.: Performance heterogeneity and approximate reasoning in description logic ontologies. In: The semantic web\u2014ISWC 2012\u201411th international semantic web conference, Boston, MA, USA, November 11\u201315, 2012, Proceedings, Part I, pp. 82\u201398 (2012)"},{"key":"9414_CR13","unstructured":"Grau, B.C., Halaschek-Wiener, C., Kazakov, Y.: History matters: incremental ontology reasoning using modules. In: The semantic web, 6th international semantic web conference, 2nd Asian semantic web conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11\u201315, 2007, pp. 183\u2013196 (2007)"},{"key":"9414_CR14","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, 273\u2013318 (2008)","journal-title":"J. Artif. Intell. Res."},{"key":"9414_CR15","unstructured":"Haarslev, V., M\u00f6ller, R., Turhan, A.Y.: Exploiting pseudo models for TBox and ABox reasoning in expressive description logics. In: Automated reasoning, first international joint conference, IJCAR 2001, Siena, Italy, June 18\u201323, 2001, Proceedings, pp. 61\u201375 (2001)"},{"issue":"3","key":"9414_CR16","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1093\/logcom\/9.3.267","volume":"9","author":"I Horrocks","year":"1999","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Optimizing description logic subsumption. J. Log. Comput. 9(3), 267\u2013293 (1999)","journal-title":"J. Log. Comput."},{"key":"9414_CR17","unstructured":"Horrocks, I.R.: Optimising Tableaux Decision Procedures for Description Logics. Ph.D. thesis, University of Manchester (1997)"},{"key":"9414_CR18","doi-asserted-by":"crossref","unstructured":"Kang, Y.B., Li, Y.F., Krishnaswamy, S.: Predicting reasoning performance using ontology metrics. In: The semantic web\u2014ISWC 2012\u201411th international semantic web conference, Boston, MA, USA, November 11\u201315, 2012, Proceedings, Part I, pp. 198\u2013214 (2012)","DOI":"10.1007\/978-3-642-35176-1_13"},{"key":"9414_CR19","unstructured":"Kang, Y.B., Pan, J.Z., Krishnaswamy, S., Sawangphol, W., Li, Y.F.: How long will it take? Accurate prediction of ontology reasoning performance. In: Proceedings of the twenty-eighth AAAI conference on artificial intelligence, July 27\u201331, 2014, Qu\u00e9bec City, Qu\u00e9bec, Canada, pp. 80\u201386 (2014)"},{"key":"9414_CR20","unstructured":"Kazakov, Y.: RIQ and SROIQ are harder than SHOIQ. In: Proceedings of the 11th international conference on principles of knowledge representation and reasoning (KR-2008), Sydney, Australia, September 16\u201319, 2008, pp. 274\u2013284 (2008)"},{"key":"9414_CR21","unstructured":"Keet, C.M., d\u2019Amato, C., Khan, Z.C., Lawrynowicz, A.: Exploring reasoning with the DMOP ontology. In: Informal proceedings of the 3rd international workshop on OWL reasoner evaluation (ORE 2014) co-located with the Vienna summer of logic (VSL 2014), Vienna, Austria, July 13, 2014, pp. 64\u201370 (2014). http:\/\/ceur-ws.org\/Vol-1207\/paper_9.pdf"},{"key":"9414_CR22","doi-asserted-by":"publisher","unstructured":"Lee, M., Matentzoglu, N., Parsia, B., Sattler, U.: A multi-reasoner, justification-based approach to reasoner correctness. In: The semantic web\u2014ISWC 2015\u201414th international semantic web conference, Bethlehem, PA, USA, October 11\u201315, 2015, Proceedings, Part II, pp. 393\u2013408 (2015). doi: 10.1007\/978-3-319-25010-6_26","DOI":"10.1007\/978-3-319-25010-6_26"},{"key":"9414_CR23","unstructured":"Matentzoglu, N.: Module-Based Classification of OWL Ontologies. Ph.D. thesis, University of Manchester (2015)"},{"key":"9414_CR24","unstructured":"Matentzoglu, N., Parsia, B., Sattler, U.: An empirical investigation of difficulty of subsets of description logic ontologies. In: Informal proceedings of the 27th international workshop on description logics (DL-2014), Vienna, Austria, July 17\u201320, 2014, pp. 659\u2013670 (2014)"},{"key":"9414_CR25","unstructured":"Metke-Jimenez, A., Lawley, M.: Snorocket 2.0: concrete domains and concurrent classification. In: Informal proceedings of the 2nd international workshop on OWL reasoner evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 32\u201338 (2013). http:\/\/ceur-ws.org\/Vol-1015\/paper_3.pdf"},{"key":"9414_CR26","unstructured":"Mi\u00f1arro-Gim\u00e9nez, J.A., Samwald, M.: An update on genomic CDS, a complex ontology for pharmacogenomics and clinical decision support. In: Informal proceedings of the 3rd international workshop on OWL reasoner evaluation (ORE 2014) co-located with the Vienna summer of logic (VSL 2014), Vienna, Austria, July 13, 2014, pp. 58\u201363 (2014). http:\/\/ceur-ws.org\/Vol-1207\/paper_4.pdf"},{"key":"9414_CR27","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 (SSWS-2015), Sydney, Australia, October 21, 2013, pp. 17\u201332 (2013)"},{"issue":"Web\u2013Server\u2013Issu","key":"9414_CR28","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1093\/nar\/gkp440","volume":"37","author":"NF Noy","year":"2009","unstructured":"Noy, N.F., Shah, N.H., Whetzel, P.L., Dai, B., Dorf, M., Griffith, N., Jonquet, C., Rubin, D.L., Storey, M.A.D., Chute, C.G., Musen, M.A.: BioPortal: ontologies and integrated data resources at the click of a mouse. Nucleic Acids Res. 37(Web\u2013Server\u2013Issue), 170\u2013173 (2009)","journal-title":"Nucleic Acids Res."},{"key":"9414_CR29","unstructured":"Parsia, B., Matentzoglu, N., Gon\u00e7alves, R.S., Glimm, B., Steigmiller, A.: The OWL reasoner evaluation (ORE) 2015 competition report. In: Proceedings of the 11th international workshop on scalable semantic web knowledge base systems (SSWS-2015), Bethlehem, Pennsylvania, USA, October 11, 2015 (2015)"},{"key":"9414_CR30","unstructured":"Patel-Schneider, P.F.: System description: DLP. In: Proceedings of the 17th international conference on automated deduction (CADE-17), Pittsburgh, PA, USA, June 17\u201320, 2000, Proceedings, pp. 297\u2013301 (2000)"},{"key":"9414_CR31","unstructured":"Romero, A.A., Grau, B.C., Horrocks, I.: MORe: Modular combination of OWL reasoners for ontology classification. In: The semantic web\u2014ISWC 2012\u201411th international semantic web conference, Boston, MA, USA, November 11\u201315, 2012, Proceedings, Part I, pp. 1\u201316 (2012)"},{"key":"9414_CR32","unstructured":"Sattler, U., Schneider, T., Zakharyaschev, M.: Which kind of module should i extract? In: Informal proceedings of the 22nd international workshop on description logics (DL-2009), Oxford, UK, July 27\u201330, 2009 (2009)"},{"key":"9414_CR33","unstructured":"Sazonau, V., Sattler, U., Brown, G.: Predicting performance of OWL reasoners: locally or globally? In: Proceedings of the 14th international conference on principles of knowledge representation and reasoning (KR-2014), Vienna, Austria, July 20\u201324, 2014 (2014)"},{"issue":"2","key":"9414_CR34","doi-asserted-by":"crossref","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. Web Semant. 5(2), 51\u201353 (2007)","journal-title":"J. Web Semant."},{"key":"9414_CR35","unstructured":"Steigmiller, A., Glimm, B., Liebig, T.: Optimised absorption for expressive description logics. In: Informal proceedings of the 27th international workshop on description logics (DL-2014), Vienna, Austria, July 17\u201320, 2014, pp. 324\u2013335 (2014)"},{"key":"9414_CR36","doi-asserted-by":"publisher","unstructured":"Steigmiller, A., Liebig, T., Glimm, B.: Extended caching, backjumping and merging for expressive description logics. In: Gramlich, B., Miller, D., Sattler, U. (eds.) Automated reasoning: 6th international joint conference, IJCAR 2012, Manchester, UK, June 26\u201329, 2012. Proceedings, pp. 514\u2013529. Springer, Berlin (2012). doi: 10.1007\/978-3-642-31365-3_40","DOI":"10.1007\/978-3-642-31365-3_40"},{"key":"9414_CR37","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/j.websem.2014.06.003","volume":"27","author":"A Steigmiller","year":"2014","unstructured":"Steigmiller, A., Liebig, T., Glimm, B.: Konclude: system description. J. Web Semant. 27, 78\u201385 (2014)","journal-title":"J. Web Semant."},{"key":"9414_CR38","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Automated reasoning, third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17\u201320, 2006, Proceedings, pp. 292\u2013297 (2006)"},{"key":"9414_CR39","unstructured":"Tsarkov, D., Palmisano, I.: Chainsaw: a metareasoner for large ontologies. In: Informal proceedings of the 1st international workshop on OWL reasoner evaluation (ORE-2012), Manchester, UK, July 1, 2012 (2012)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-017-9414-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-017-9414-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-017-9414-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,9]],"date-time":"2020-10-09T18:56:51Z","timestamp":1602269811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-017-9414-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,8]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,4]]}},"alternative-id":["9414"],"URL":"https:\/\/doi.org\/10.1007\/s10817-017-9414-8","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[2017,6,8]]}}}