User contributions
From Protege Wiki
- 16:17, December 16, 2009 (diff | hist) . . (-393) . . HermiT
- 16:17, December 16, 2009 (diff | hist) . . (-42) . . HermiT
- 16:15, December 16, 2009 (diff | hist) . . (-67) . . HermiT
- 16:15, December 16, 2009 (diff | hist) . . (-8) . . HermiT
- 16:14, December 16, 2009 (diff | hist) . . (+1) . . HermiT
- 10:29, December 1, 2009 (diff | hist) . . (+1,157) . . N HermiT (Created page with '{{Plugin |Description=HermiT is an OWL 2 DL reasoner based on the hypertableau calculus. |PluginType=Backend |ForApplication1=Protege-OWL |HomepageURL=http://www.hermit-reasoner...')