Possible bug for empty modules in Capi java component

[maphih]

On the development branch, when explaining "Margherita SubClassOf VegetarianPizza" in the broken-simplified-pizza.owl, the CAPI abduction progress tracker hangs on "Clean up complete", and cancelling also does not help. It may be because there are no solutions(?), since in CapiAbductionSolver.java:148 we seem to assume that the loading screen has already been disposed because an error has been thrown. In this case, no error was thrown, but there were simply no solutions (this.solutions.size() == 0).

Tom Friese
10 Jan 2024
Issue partially resolved in commit efc9dd3:

error case was actually "VegetarianPizza SubClassOf Margherita"
during pre-processing of capi-java-component, an error occurred (empty module) which wasn't handled correctly
error is now handled correctly and displayed to the user
During the meeting today, @koopmann mentioned that there might be another bug in the capi-java-component, which leads to the empty module in the first place. I've assigned the issue to Patrick for further handling.

Here are the specifics needed to re-create the error-case and some further info:

The ontology is the broken-simplified-pizza ontology (attached here for easy access: broken-simplified-pizza.owl
The missing entailment is "VegetarianPizza SubClassOf Margherita"
The relevant error is thrown during execution of the method "convertAbductionProblem" of the class "OWL2SpassConverter" of the capi-java-component
You should have access to a private git-repo where I uploaded the conversion of the capi-java-component to Java8. If you upload any bugfix to this repo, then I can easily implement the changed jar into our plugins.