ELK Reasoner 0.4.2
This is the last release that supports OWL API 3 and Protege 4!
Fixed Bugs
- Fixed a problem causing runtime exception to be thrown with Protege 5 beta 15 due to the class loader of Apache Felix reacting on interrupt exceptions used for communication with elk worker threads. Issue: #27.
- Fixed a bug reporting direct subclasses of owl:Thing when owl:Thing has (redundant) asserted subclasses. Issue: #24.
Changes
- ELK can now be interrupted from the OWL API and Protege during the initial ontology loading stage.
- Updated the mechanism of interrupting reasoner computations due to removal of interrupt exceptions from the code.