ELK 0.4.2 released

[Pavel Klinov]

Dear ELK users,

We are pleased to announce the ELK Reasoner 0.4.2 release!

This is a minor bug fixing release with the following changes:

- 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.
- 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.

ELK 0.4.2 is available through the Maven Central repository. You may
reference it in your Maven project or just download the ready to use
artifacts, i.e, the command-line tool [1], the OWL API library [2],
and the Protege plugin [3] directly from the repository.

Enjoy!

The ELK reasoner team

[1] http://repo1.maven.org/maven2/org/semanticweb/elk/elk-distribution/0.4.2/elk-distribution-0.4.2-standalone-executable.zip
[2] http://repo1.maven.org/maven2/org/semanticweb/elk/elk-distribution/0.4.2/elk-distribution-0.4.2-owlapi-library.zip
[3] http://repo1.maven.org/maven2/org/semanticweb/elk/elk-distribution/0.4.2/elk-distribution-0.4.2-protege-plugin.zip