Default reasoner HermiT 1.4.3.456 is loading indefinitely in some projects

[pauljouet]

The problem

As shown on the screenshot below, when starting the HermiT 1.4.3.456 reasoner, the loading screen will never end.

I tried using Pellet and it worked, so the problem seems to be related to the reasoner. As it was a default install I hope I am posting this in the right place, if not I am sorry and feel free to redirect me.

HermiT works well on the other ontologies on which I worked on, so it seems there is something within it which makes it fail to start.

How to reproduce the problem

When I tried to reproduce the same ontology the same way I did first, the reasoner actually worked. However with the original ontology, no matter what I try changing, it does not. I simply imported foaf and created 3-4 classes and restrictions.

I attached the zipped .owl, the steps are simply to :

• Open the .owl file from Protégé
• Select HermitT 1.4.3.456 reasoner
• Click Start reasoner

hermit_not_working.zip

[k00ni]

I can confirm this, tested it with Protégé version 5.6.1 (Ubuntu 20.04.) using the file provided by @pauljouet.