DisjointClass and PropertyAssertion axioms are not being inferred in the ontology with closure.

[areleu]

Description of the issue

For context see #1465

Disjoint class inference takes very long in the ontology, or is probably not possible.

Just for everyones information:

https://github.com/phillord/hermit-reasoner/issues/13#issuecomment-1452087168

The algorithm is by itself slow for the amount of classes we have in the ontology. So we might have to consider providing the disjoint classes by some other means i don't really know how long would the reasoning would take but I suspect it may be too much for github. So probalby we can use some internal server for that, either from Magdeburg or somewhere else.

The PropertyAssertion error is trickier, could not find the root cause.

Ideas of solution

Ignore DisjointClass inference altogether, unless someone finds a specific usecase.

Workflow checklist

• [ ] I am aware of the workflow for this repository