GitHub repository: protegeproject/hermit-integration
Description: Integrates the HermiT reasoner with Protege Desktop.