ELK 0.3.2 reasoner for OWL EL released
17 views
Skip to first unread message
Yevgeny Kazakov
Jan 17, 2013, 5:06:38 PM1/17/13
to elk-reaso...@googlegroups.com
We are happy to announce the release of the new
ELK 0.3.2
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.
ELK 0.3.2 release notes:
Fixed Bugs:
- Fixed an issue causing a deadlock with many workers in the saturation stage.
Changes:
- Updated dependencies for OWL API to v.3.4.2.
Have fun!
-ELK Reasoner team
ELK 0.3.2
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.
ELK 0.3.2 release notes:
Fixed Bugs:
- Fixed an issue causing a deadlock with many workers in the saturation stage.
Changes:
- Updated dependencies for OWL API to v.3.4.2.
Have fun!
-ELK Reasoner team
Reply all
Reply to author
Forward
0 new messages