HermiT
Revision as of 12:12, 17 February 2021 by Musaab Khan (talk | contribs) (pushed from or by wikipush)
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.