Data and Knowledge Group

― Knowledge Representation and Reasoning

ELK OWL 2 EL Reasoner


ELK is an ontology reasoner developed as part of the ConDOR project. The goal of ELK is to fully support the OWL 2 EL profile.

ELK is open-source and released under Apache License 2.0. All components and source code is available from the ELK Google Code Project.


Using ELK

ELK as a Protégé plug-in

ELK can be used as a plug-in for the Protégé OWL ontology editor: simply copy elk-protege-x.y.z-SNAPSHOT.jar from the latest ELK release into Protégé's plugin folder.

ELK from the Command Line

ELK provides a command-line interface for common reasoning tasks, including classification: simply download elk-reasoner-x.y.z-SNAPSHOT-standalone.jar from the latest ELK release.


Yevgeny Kazakov, Markus Krötzsch and František Simančíc.


UK Engineering and Physical Sciences Research Council

Key Publications

  • Yevgeny Kazakov, Markus Krötzsch, František Simančík. Unchain My EL Reasoner. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds.: Proceedings of the 24th International Workshop on Description Logics (DL-11). CEUR Workshop Proceedings 2011. (download PDF)