Release process does not generate infered hierarchy

[MGlauer]

Description of the issue

The current release process merges all ontologies into a single ontology file, but does not include the logical closure of all axioms. This requires applications to infer parts of the hierarchy themselves, which is often beyond the scope of these projects and computationally expensive.

Ideas of solution

Extend the release script to include a call to the hermit reasoner that generates all inferences.

Workflow checklist

• I am aware of the workflow for this repository

[l-emele]

@MGlauer: Was there any progress on this in the last months?

[l-emele]

@MGlauer : Any chance that we extend the release script before the next release which is due on February, 1st?

[areleu]

I think this can get funny because of #1424 .

I propose #1465 but I am not completely sure if its working as intended

[l-emele]

I propose #1465 but I am not completely sure if its working as intended

If you are not sure if it is working, it should not be merged to dev, especially not directly before a release!

[areleu]

I think this can get funny because of #1424 .

I propose #1465 but I am not completely sure if its working as intended

With #1475 I think this problem will no longer be there.

[areleu]

Instead of replacing oeo-full I propose we provide a file called oeo-closed. This is the current implementation of #1465

[areleu]

@MGlauer The reasoner goes into a apparently infinite loop, is this related to the issue you found earlier at #1125 ?

Edit: Probably related to my last comment at #1430

[areleu]

After removing the problemating axiom from #1430 the ontology still does not close with robot :(

[areleu]

Issues with this kind of axioms: DisjointClass, PropertyAssertion I think the latter lies on some instances not being properly defined.

If we remove those from the types of axioms we no longer get issues.

[stap-m]

Since #1465 is completed, I close this issue now