HermiT
| HermiT | |
|---|---|
| Field: | Automated reasoning |
| Type: | Reasoner |
| web.comlab.ox.ac.uk/people/Boris.Motik/HermiT/ | |
| Status: | beta |
| Programming language: | Java |
| Category:License: | GNU-GPL |
| Affiliation: | University of Oxford, Computing Laboratory |
| Maintainer: | Boris Motik |
Source: http://web.comlab.ox.ac.uk/people/Boris.Motik/HermiT/
HermiT is a theorem prover for description logics (DLs) -- a family of knowledge representation formalisms with many uses. DLs have attracted considerable attention recently since provide a logical underpinning for the Web Ontology Language (OWL) -- the language for building ontologies in the Seamntic Web.
