ELK is a free and open-source project that aims to create a ontology reasoner with the goal of supporting the OWL 2 EL profile.
ELK aims to provide a very fast reasoning engine for OWL EL. At the moment, the supported OWL features and reasoning tasks are still limited (but already sufficient for important ontologies such as SNOMED CT).
The final goal of ELK reasoner is to complete the implementation for all OWL EL features and relevant reasoning functions (e.g. for unrestricted use in Protégé) – but this an only be done gradually.
Detailed instructions on how to install and use the ELK reasoner utility on your Mac are available HERE.
ELK reasoner is a cross-platform utility capable of running on any operating system that comes with Java support (e.g. Mac OS X, Windows, Linux).
What's New in This Release: [ read full changelog ]
· Fixed an issue causing a deadlock with many workers in the saturation stage.
· Updated dependencies for OWL API to v.3.4.2.