Stefan Borgwardt

The example still does not work correctly, although there are no parse errors anymore. For the following program, Nemo derives `C(a, 13)`: ``` A(a, 5) . B(a, 8) . C(?x,...

Thank you, @ykazakov for testing the code! I will have a look today at the issue you mentioned. Regarding the InconsistentOntologyManager, I didn't notice it so far because we don't...

I have fixed the issue by reloading the ExplanationManager whenever the preference dialog is disposed, instead of just on a successful "applyChanges" (i.e. after clicking "OK"). I also encountered a...

I think that's a good idea and implemented the change. However, now I wonder whether the functionality that "Protege will try the services in the specified order and will use...