HermiT

From Openresearch
Jump to: navigation, search
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.

Developers