Browse wiki

From Protege Wiki

Jump to: navigation, search
HermiT
Affiliated with University of Oxford +
Description HermiT is a reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more.
Developed by Boris Motik + , Birte Glimm + , Giorgos Stoilos + , Ian Horrocks + , Rob Shearer +
For application Protege-OWL +
Has topic Reasoning + , Inference +
Homepage http://www.hermit-reasoner.com  +
ID HermiT  +
Last update 1 March 2010  +
License LGPL  +
Has queryThis property is a special property in this wiki. HermiT + , HermiT +
Categories Reasoner  + , Plugin  +
Modification dateThis property is a special property in this wiki. 2 August 2011 08:08:35  +
hide properties that link here 
SOVA 0.7.6 + , SOVA 0.7.7 + , SOVA 0.8.0 + , SOVA 0.8.1 + , SOVA 0.8.4 + , SOVA 0.8.5 + , SOVA 1.0.0 + Depends on
HermiT 1.2.1 + , HermiT 1.2.2 + , HermiT 1.3.5 + , HermiT 1.3.6 + , HermiT 1.3.8 + Version of
 

 

Enter the name of the page to start browsing from.
Views
Personal tools
Toolbox