HermiT
Jump to navigation
Jump to search
Template:Tool 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.