Abstract
This system description paper introduces the OWL 2 reasoner HermiT. The reasoner is fully compliant with the OWL 2 Direct Semantics as standardised by the World Wide Web Consortium (W3C). HermiT is based on the hypertableau calculus, and it supports a wide range of standard and novel optimisations that improve the performance of reasoning on real-world ontologies. Apart from the standard OWL 2 reasoning task of entailment checking, HermiT supports several specialised reasoning services such as class and property classification, as well as a range of features outside the OWL 2 standard such as DL-safe rules, SPARQL queries, and description graphs. We discuss the system’s architecture, and we present an overview of the techniques used to support the mentioned reasoning tasks. We further compare the performance of reasoning in HermiT with that of FaCT++ and Pellet—two other popular and widely used OWL 2 reasoners.
Similar content being viewed by others
References
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–16. Springer (2012)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.).: The Description Logic Handbook, 2nd edn. Cambridge University Press (2007)
Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Stud. Logica. 69, 5–40 (2001)
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–322 (2008)
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–838. Beijing, China (2013)
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)
Glimm, B., Horrocks, I., Motik, B.: Optimized description logic reasoning via core blocking. In: Giesl, J., Hähnle, R. (eds.) Proc. of the 5th Int. Joint Conf. on Automated Reasoning (IJCAR 2010), Lecture Notes in Computer Science, vol. 6173, pp 457–471. Springer, Edinburgh (2010)
Glimm, B., Horrocks, I., Motik, B., Shearer, R., Stoilos, G.: A novel approach to ontology classification. J. Web Semant. 14, 84–101 (2012)
Glimm, B., Krötzsch, 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–256. Springer (2010)
Glimm, B., Ogbuji, C.: SPARQL 1.1 Entailment Regimes. W3C Recommendation (2013). Available at http://www.w3.org/TR/sparql11-entailment/
Harris, S., Seaborne, A.: SPARQL 1.1 Query Language. W3C Recommendation (2013). Available at http://www.w3.org/TR/sparql11-query/
Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC (2009)
Horridge, M., Bechhofer, S.: The OWL API: a java API for OWL ontologies. Semant. Web J. 2(1), 11–21 (2011)
Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. J. Web Semant. 1(4), 345–357 (2004)
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/
Horrocks, I., Sattler, U.: Decidability of 𝓢ℋ𝓘𝓠 with complex role inclusion axioms. Artif. Intell. 160(1–2), 79–104 (2004)
Horrocks, I., Sattler, U.: A tableau decision procedure for 𝓢ℋ𝓞𝓘𝓠. J. Autom. Reason. 39(3), 249–276 (2007)
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)
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–471. Morgan Kaufmann Publishers, Edinburgh, UK (2005)
Kazakov, Y., Krötzsch, M., Simančík, F.: The incredible ELK: from polynomial procedures to efficient reasoning with EL ontologies. J. Autom. Reason. 1–61 (2013)
Kollia, I., Glimm, B.: Optimizing SPARQL Query Answering over OWL Ontologies. Journal of Artificial Intelligence Research 48, 253–303 (2013)
Krötzsch, M., Simančík, F., Horrocks, I.: A Description Logic Primer. Computing Research Repository (CoRR) abs/1201.4089 (2012)
Kutz, O., Horrocks, I., Sattler, U.: The even more irresistible 𝓢𝓡𝓞𝓘𝓠. 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–78. AAAI Press, Lake District, UK (2006)
Motik, B., Cuenca Grau, B., Horrocks, I., Sattler, U.: Representing ontologies using description logics, description graphs, and rules. Artif. Intell. J. 173(14), 1275–1309 (2009)
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–258. Springer (2008)
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–322. Springer (2008)
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/
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/
Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. J. Web Semant. 3(1), 41–60 (2005)
Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165–228 (2009)
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–367. Elsevier and MIT Press (2001)
Plaisted, D.A., Greenbaum, S.: A structure-preserving clause form translation. J. Symb. Comput. 2(3), 293–304 (1986)
Prud’hommeaux, E., Seaborne, A.: SPARQL Query Language for RDF. W3C Recommendation (2008). Available at http://www.w3.org/TR/rdf-sparql-query/
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– 233 (1994)
Simančík, 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–1098. Barcelona, Spain (2011)
Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semant. 5(2), 51–53 (2007)
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énez-Ruiz, E. (eds.) Proc. of the 1st Int. Workshop on OWL Reasoner Evaluation (ORE 2012), CEUR Workshop Proceedings, vol. 858. Manchester, UK (2012)
Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Haarslev, V., Möller, R. (eds.) Proc. of the 2004 Int. Workshop on Description Logics (DL 2004), CEUR Workshop Proceedings, vol. 104 (2004)
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–297. Springer (2006)
Tsarkov, D., Horrocks, I., Patel-Schneider, P.F.: Optimizing terminological reasoning for expressive description logics. J. Autom. Reason. 39(3), 277–316 (2007)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Glimm, B., Horrocks, I., Motik, B. et al. HermiT: An OWL 2 Reasoner. J Autom Reasoning 53, 245–269 (2014). https://doi.org/10.1007/s10817-014-9305-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-014-9305-1