HermiT can serve as a reasoner plug-in for the Protégé-OWL editor. To use HermiT in Protégé, place HermiT.jar in Protégé’s plugins directory. The next time you launch Protégé, HermiT will appear as an option in the Reasoner menu.