Peter Skocovsky edited this page Jan 13, 2016 · 7 revisions

ELK is an ontology reasoner with the goal of supporting the OWL 2 EL profile. For further information, please see the ELK online documentation.


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:

  • provides a package for using ELK from OWL API.
  • provides a package for using ELK as a Protégé plugin.
  • 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.

Please see the Getting ELK page for more information.


Below is a list of publications that report on implementation aspects of ELK, most recent first.


ELK is currently developed by Yevgeny Kazakov, Markus Krötzsch, František Simančík, and Pavel Klinov.


ELK has been developed in the Institut of Artificial Intelligence of the University of Ulm and in the Knowledge Representation and Reasoning group at the Department of Computer Science of the University of Oxford. Development has been supported by the German Research Foundation under the research project Live Ontologies and by the EPSRC under the research project ConDOR: Consequence-Driven Ontology Reasoning (grant number EP/G02085X/1).

You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.