Paul issues

Repositories
Issues
Comments

Results 1 issues of


                                            Paul

Default reasoner HermiT 1.4.3.456 is loading indefinitely in some projects

## The problem As shown on the screenshot below, when starting the HermiT 1.4.3.456 reasoner, the loading screen will never end. ![image](https://user-images.githubusercontent.com/57882655/107131120-31099880-68d4-11eb-89c5-e1d0567b0d37.png) I tried using Pellet and it worked, so...