{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T00:33:44Z","timestamp":1776386024707,"version":"3.51.2"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,5,23]],"date-time":"2014-05-23T00:00:00Z","timestamp":1400803200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1007\/s10817-014-9305-1","type":"journal-article","created":{"date-parts":[[2015,4,8]],"date-time":"2015-04-08T19:56:31Z","timestamp":1428522991000},"page":"245-269","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":479,"title":["HermiT: An OWL 2 Reasoner"],"prefix":"10.1007","volume":"53","author":[{"given":"Birte","family":"Glimm","sequence":"first","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]},{"given":"Boris","family":"Motik","sequence":"additional","affiliation":[]},{"given":"Giorgos","family":"Stoilos","sequence":"additional","affiliation":[]},{"given":"Zhe","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,5,23]]},"reference":[{"key":"9305_CR1","doi-asserted-by":"crossref","unstructured":"Armas Romero, A., Cuenca Grau, B., Horrocks, I.: MORe: Modular combination of OWL reasoners for ontology classification. In: Proc. of the 11th Int. Semantic Web Conf. (ISWC 2012), Lecture Notes in Computer Science, vol. 7649, pp. 1\u201316. Springer (2012)","DOI":"10.1007\/978-3-642-35176-1_1"},{"key":"9305_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.).: The Description Logic Handbook, 2nd edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"9305_CR3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Stud. Logica. 69, 5\u201340 (2001)","journal-title":"Stud. Logica."},{"issue":"4","key":"9305_CR4","doi-asserted-by":"crossref","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 Semant. 6(4), 309\u2013322 (2008)","journal-title":"J. Web Semant."},{"key":"9305_CR5","unstructured":"Cuenca Grau, B., Motik, B., Stoilos, G., Horrocks, I.: Computing datalog rewritings beyond horn ontologies. In: Rossi, F. (ed.) Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013), pp. 832\u2013838. Beijing, China (2013)"},{"key":"9305_CR6","doi-asserted-by":"crossref","unstructured":"Gardiner, T., Horrocks, I., Tsarkov, D.: Automated benchmarking of description logic reasoners. In: Proc. of the 2006 Int. Workshop on Description Logic (DL 2006), CEUR Workshop Proceedings, vol. 189 (2006)","DOI":"10.1007\/11926078_47"},{"key":"9305_CR7","first-page":"457","volume-title":"Proc. of the 5th Int. Joint Conf. on Automated Reasoning (IJCAR 2010), Lecture Notes in Computer Science, vol. 6173","author":"B Glimm","year":"2010","unstructured":"Glimm, B., Horrocks, I., Motik, B.: Optimized description logic reasoning via core blocking. In: Giesl, J., H\u00e4hnle, R. (eds.) Proc. of the 5th Int. Joint Conf. on Automated Reasoning (IJCAR 2010), Lecture Notes in Computer Science, vol. 6173, pp 457\u2013471. Springer, Edinburgh (2010)"},{"key":"9305_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."},{"key":"9305_CR9","doi-asserted-by":"crossref","unstructured":"Glimm, B., Kr\u00f6tzsch, M.: SPARQL beyond subgraph matching. In: Proc. of the 9th Int. Semantic Web Conf. (ISWC 2010), Lecture Notes in Computer Science, vol. 6414, pp. 241\u2013256. Springer (2010)","DOI":"10.1007\/978-3-642-17746-0_16"},{"key":"9305_CR10","unstructured":"Glimm, B., Ogbuji, C.: SPARQL 1.1 Entailment Regimes. W3C Recommendation (2013). Available at http:\/\/www.w3.org\/TR\/sparql11-entailment\/"},{"key":"9305_CR11","unstructured":"Harris, S., Seaborne, A.: SPARQL 1.1 Query Language. W3C Recommendation (2013). Available at http:\/\/www.w3.org\/TR\/sparql11-query\/"},{"key":"9305_CR12","doi-asserted-by":"crossref","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall\/CRC (2009)","DOI":"10.1201\/9781420090512"},{"issue":"1","key":"9305_CR13","doi-asserted-by":"crossref","first-page":"11","DOI":"10.3233\/SW-2011-0025","volume":"2","author":"M Horridge","year":"2011","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: a java API for OWL ontologies. Semant. Web J. 2(1), 11\u201321 (2011)","journal-title":"Semant. Web J."},{"issue":"4","key":"9305_CR14","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/j.websem.2004.06.003","volume":"1","author":"I Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. J. Web Semant. 1(4), 345\u2013357 (2004)","journal-title":"J. Web Semant."},{"key":"9305_CR15","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: a semantic web rule language combining OWL and RuleML. W3C Member Submission (2004). Available at http:\/\/www.w3.org\/Submission\/SWRL\/"},{"issue":"1\u20132","key":"9305_CR16","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.artint.2004.06.002","volume":"160","author":"I Horrocks","year":"2004","unstructured":"Horrocks, I., Sattler, U.: Decidability of \ud835\udce2\u210b\ud835\udcd8\ud835\udce0 with complex role inclusion axioms. Artif. Intell. 160(1\u20132), 79\u2013104 (2004)","journal-title":"Artif. Intell."},{"issue":"3","key":"9305_CR17","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/s10817-007-9079-9","volume":"39","author":"I Horrocks","year":"2007","unstructured":"Horrocks, I., Sattler, U.: A tableau decision procedure for \ud835\udce2\u210b\ud835\udcde\ud835\udcd8\ud835\udce0. J. Autom. Reason. 39(3), 249\u2013276 (2007)","journal-title":"J. Autom. Reason."},{"key":"9305_CR18","unstructured":"Hudek, A.K., Weddell, G.E.: Binary absorption in tableaux-based reasoning for description logics. In: Parsia, B., Sattler, U., Toman, D. (eds.) Proc. of the 2006 Int. Workshop on Description Logics (DL 2006), CEUR Workshop Proceedings, vol. 189. Windermere, UK (2006)"},{"key":"9305_CR19","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proc. of the 19th Int. Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 466\u2013471. Morgan Kaufmann Publishers, Edinburgh, UK (2005)"},{"key":"9305_CR20","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. J. Autom. Reason. 1\u201361 (2013)","DOI":"10.1007\/s10817-013-9296-3"},{"key":"9305_CR21","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.3872","volume":"48","author":"I Kollia","year":"2013","unstructured":"Kollia, I., Glimm, B.: Optimizing SPARQL Query Answering over OWL Ontologies. Journal of Artificial Intelligence Research 48, 253\u2013303 (2013)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9305_CR22","unstructured":"Kr\u00f6tzsch, M., Siman\u010d\u00edk, F., Horrocks, I.: A Description Logic Primer. Computing Research Repository (CoRR) abs\/1201.4089 (2012)"},{"key":"9305_CR23","unstructured":"Kutz, O., Horrocks, I., Sattler, U.: The even more irresistible \ud835\udce2\ud835\udce1\ud835\udcde\ud835\udcd8\ud835\udce0. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 68\u201378. AAAI Press, Lake District, UK (2006)"},{"issue":"14","key":"9305_CR24","doi-asserted-by":"crossref","first-page":"1275","DOI":"10.1016\/j.artint.2009.06.003","volume":"173","author":"B Motik","year":"2009","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Sattler, U.: Representing ontologies using description logics, description graphs, and rules. Artif. Intell. J. 173(14), 1275\u20131309 (2009)","journal-title":"Artif. Intell. J."},{"key":"9305_CR25","doi-asserted-by":"crossref","unstructured":"Motik, B., Horrocks, I.: Individual reuse in description logic reasoning. In: roc. of the Int. Joint Conference on Automated Reasoning (IJCAR 2008), Lecture Notes in Computer Science, vol. 5195, pp. 242\u2013258. Springer (2008)","DOI":"10.1007\/978-3-540-71070-7_20"},{"key":"9305_CR26","doi-asserted-by":"crossref","unstructured":"Motik, B., Horrocks, I.: OWL Datatypes: design and implementation. In: Proc. of the 7th Int. Semantic Web Conference (ISWC 2008), Lecture Notes in Computer Science, vol. 5318, pp. 307\u2013322. Springer (2008)","DOI":"10.1007\/978-3-540-88564-1_20"},{"key":"9305_CR27","unstructured":"Motik, B., Patel-Schneider, P.F., Cuenca Grau, B.: OWL 2 Web Ontology Language Direct Semantics, 2nd edn. W3C Recommendation (2012). Available at http:\/\/www.w3.org\/TR\/owl2-direct-semantics\/"},{"key":"9305_CR28","unstructured":"Motik, B., Patel-Schneider, P.F., Parsia, B. (eds.).: OWL 2 web ontology language structural specification and functional-style syntax, 2nd edn. W3C Recommendation (2012). Available at http:\/\/www.w3.org\/TR\/owl2-syntax\/"},{"issue":"1","key":"9305_CR29","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. J. Web Semant. 3(1), 41\u201360 (2005)","journal-title":"J. Web Semant."},{"key":"9305_CR30","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B Motik","year":"2009","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165\u2013228 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"9305_CR31","doi-asserted-by":"crossref","unstructured":"Nonnengart, A., Weidenbach, C.: Computing small clause normal forms. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, chap. 6, pp. 335\u2013367. Elsevier and MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50008-4"},{"issue":"3","key":"9305_CR32","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/S0747-7171(86)80028-1","volume":"2","author":"DA Plaisted","year":"1986","unstructured":"Plaisted, D.A., Greenbaum, S.: A structure-preserving clause form translation. J. Symb. Comput. 2(3), 293\u2013304 (1986)","journal-title":"J. Symb. Comput."},{"key":"9305_CR33","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL Query Language for RDF. W3C Recommendation (2008). Available at http:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"9305_CR34","unstructured":"Rector, A., Gangemi, A., Galeazzi, E., Glowinski, A.J., Mori, A.R.: The GALEN CORE model schemata for anatomy: towards a re-usable application-independent model of medical concepts. In: Proc. of the 12th Int. Congress of the European Federation for Medical Informatics (MIE 1994), pp. 229\u2013 233 (1994)"},{"key":"9305_CR35","unstructured":"Siman\u010d\u00edk, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond horn ontologies. In: T. Walsh (ed.) Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011), pp. 1093\u20131098. Barcelona, Spain (2011)"},{"issue":"2","key":"9305_CR36","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., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semant. 5(2), 51\u201353 (2007)","journal-title":"J. Web Semant."},{"key":"9305_CR37","unstructured":"Song, W., Spencer, B., Du, W.: WSReasoner: a prototype hybrid reasoner for ALCHOI ontology classification using a weakening and strengthening approach. In: Horrocks, I., Yatskevich, M., Jim\u00e9nez-Ruiz, E. (eds.) Proc. of the 1st Int. Workshop on OWL Reasoner Evaluation (ORE 2012), CEUR Workshop Proceedings, vol. 858. Manchester, UK (2012)"},{"key":"9305_CR38","unstructured":"Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Haarslev, V., M\u00f6ller, R. (eds.) Proc. of the 2004 Int. Workshop on Description Logics (DL 2004), CEUR Workshop Proceedings, vol. 104 (2004)"},{"key":"9305_CR39","doi-asserted-by":"crossref","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Proceedings of the 6th Int. Joint Conf. on Automated Reasoning (IJCAR 2006), Lecture Notes in Artificial Intelligence, vol. 4130, pp. 292\u2013297. Springer (2006)","DOI":"10.1007\/11814771_26"},{"issue":"3","key":"9305_CR40","doi-asserted-by":"crossref","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.F.: Optimizing terminological reasoning for expressive description logics. J. Autom. Reason. 39(3), 277\u2013316 (2007)","journal-title":"J. Autom. Reason."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-014-9305-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-014-9305-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-014-9305-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,31]],"date-time":"2020-08-31T16:43:07Z","timestamp":1598892187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-014-9305-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,23]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["9305"],"URL":"https:\/\/doi.org\/10.1007\/s10817-014-9305-1","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5,23]]}}}