HermiT: an OWL 2 reasoner
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 t...
| Автори: | , , , , |
|---|---|
| Формат: | Journal article |
| Мова: | English |
| Опубліковано: |
Springer Netherlands
2014
|
| Предмети: |
| _version_ | 1826302303761596416 |
|---|---|
| author | Glimm, B Horrocks, I Motik, B Stoilos, G Wang, Z |
| author_facet | Glimm, B Horrocks, I Motik, B Stoilos, G Wang, Z |
| author_sort | Glimm, B |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-03-07T05:45:32Z |
| format | Journal article |
| id | oxford-uuid:e719ebc8-ff8b-4efa-a14f-7da8478ff0ed |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T05:45:32Z |
| publishDate | 2014 |
| publisher | Springer Netherlands |
| record_format | dspace |
| spelling | oxford-uuid:e719ebc8-ff8b-4efa-a14f-7da8478ff0ed2022-03-27T10:35:59ZHermiT: an OWL 2 reasonerJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:e719ebc8-ff8b-4efa-a14f-7da8478ff0edLogic, Symbolic and mathematicalArtificial intelligenceEnglishORA DepositSpringer Netherlands2014Glimm, BHorrocks, IMotik, BStoilos, GWang, ZThis 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. |
| spellingShingle | Logic, Symbolic and mathematical Artificial intelligence Glimm, B Horrocks, I Motik, B Stoilos, G Wang, Z HermiT: an OWL 2 reasoner |
| title | HermiT: an OWL 2 reasoner |
| title_full | HermiT: an OWL 2 reasoner |
| title_fullStr | HermiT: an OWL 2 reasoner |
| title_full_unstemmed | HermiT: an OWL 2 reasoner |
| title_short | HermiT: an OWL 2 reasoner |
| title_sort | hermit an owl 2 reasoner |
| topic | Logic, Symbolic and mathematical Artificial intelligence |
| work_keys_str_mv | AT glimmb hermitanowl2reasoner AT horrocksi hermitanowl2reasoner AT motikb hermitanowl2reasoner AT stoilosg hermitanowl2reasoner AT wangz hermitanowl2reasoner |