Integrates the HermiT reasoner with Protege Desktop