HermiT: An OWL 2 Reasoner
- Submitting institution
-
University of Oxford
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 1938
- Type
- D - Journal article
- DOI
-
10.1007/s10817-014-9305-1
- Title of journal
- Journal of Automated Reasoning
- Article number
- 3
- First page
- 245
- Volume
- 53
- Issue
- -
- ISSN
- 0168-7433
- Open access status
- Out of scope for open access requirements
- Month of publication
- May
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
4
- Research group(s)
-
-
- Citation count
- 182
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- HermiT is, to the best of our knowledge, the only reasoning system that fully and correctly supports the OWL 2 ontology language standard. HermiT has had a major impact across both academia and industry. It is the standard reasoner distributed with Stanford’s open source Protégé OWL ontology editor, the most popular tool for ontology design (>360,000 registered users), and widely used for ontology development in industry and large government projects (e.g. the NCI Thesaurus, the WHO International Classification of Diseases). This paper presents HermiT's architecture, and the hypertableau calculus on which it is based.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -