GettingElk

Obtaining ELK

The ELK reasoner can be downloaded in various ways, depending on the desired usage.

File Releases

The latest version of ELK reasoner can be downloaded from here. Older versions can be found on the release page.

The released binaries come in three forms:

• elk-distribution-X.Y.Z-owlapi-library.zip provides a package for using ELK from OWL API.
• elk-distribution-X.Y.Z-protege-plugin.zip provides a package for using ELK as a Protégé plugin.
• elk-distribution-X.Y.Z-standalone-executable.zip provides a package for using ELK as a standalone tool that is controlled via a command line client.

The last version supporting OWL API 3 and Protege 4 is 0.4.2! ELK Reasoner 0.4.3 and newer works with OWL API 4 and Protege 5 and newer.

Previous releases can also be found at the Maven Central.

Development Snapshot Builds

We provide snapshot builds of ELK. These are work in progress and may not function as reliably as regular releases. However, if you discover a bug, you can check the latest build to see if it has been already fixed.

• Protege Plugin latest build
• OWL API 4.x Library latest build
• OWL API 5.x Library latest build
• Standalone Executable latest build