HermiT

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

 * has developer::Boris Motik
 * has developer::Rob Shearer
 * has developer::Ian Horrocks