ELK 0.3.1 reasoner for OWL EL released

[Yevgeny Kazakov]

We are happy to announce the release of the new

ELK 0.3.1
Reasoner for OWL EL
http://elk-reasoner.googlecode.com/

This is a maintenance release containing some bug fixes and minor
enhancements. The release notes can be found below.

Starting from this release, ELK and all its programming libraries are
available from the Maven Central repository. Further information can
be found here:

http://code.google.com/p/elk-reasoner/wiki/ApacheMaven

ELK 0.3.1 release notes:

Fixed Bugs:
- Fixed NoSuchElementException when loading imported ontologies
through OWLAPI that have no axioms. Issue: 7 (see
http://code.google.com/p/elk-reasoner/issues/detail?id=7).
- Fixed a bug with incorrect handling of lexical errors during parsing
of OWL2 FSS files with the native ELK's parser.
Changes:
- An improved testing of class and instance taxonomies via mock
taxonomy objects and specific validators (e.g., for acyclicity and
transitive reduction).
- Updated project configurations to comply with Maven Central requirements.


Have fun!
-ELK Reasoner team