HermiT
| swMATH ID: | 12418 |
| Software Authors: | Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe; Shearer, R. |
| Description: | HermiT: A highly-efficient OWL reasoner. HermiT is reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more. HermiT is the first publicly-available OWL reasoner based on a novel “hypertableau” calculus which provides much more efficient reasoning than any previously-known algorithm. Ontologies which previously required minutes or hours to classify can often by classified in seconds by HermiT, and HermiT is the first reasoner able to classify a number of ontologies which had previously proven too complex for any available system to handle. HermiT uses direct semantics and passes all OWL 2 conformance tests for direct semantics reasoners. |
| Homepage: | http://hermit-reasoner.com/ |
| Related Software: | Pellet; FaCT++; ELK; Konclude; Racer; RacerPro; SPARQL; DBpedia; Protege; swrl; BioPortal; QUICKXPLAIN; MERGEXPLAIN; OntoDebug; RDFox; NoHR; KAON2; KL-ONE; CLProver; MiniSat |
| Cited in: | 28 Documents |
Standard Articles
| 1 Publication describing the Software, including 1 Publication in zbMATH | Year |
|---|---|
|
HermiT: an OWL 2 reasoner. Zbl 1314.68280 Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe |
2014
|
all
top 5
Cited by 74 Authors
all
top 5
Cited in 10 Serials
Cited in 4 Fields
| 28 | Computer science (68-XX) |
| 5 | Mathematical logic and foundations (03-XX) |
| 2 | Biology and other natural sciences (92-XX) |
| 1 | Operations research, mathematical programming (90-XX) |
