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

Downloads

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.

Please see the Getting ELK page for more information.

Publications

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

• Yevgeny Kazakov, Pavel Klinov. Advancing ELK: Not Only Performance Matters. In Diego Calvanese, Boris Konev, eds.: Proceedings of the 28th International Workshop on Description Logics (DL-15). CEUR Workshop Proceedings 2015. Download technical report (PDF). Slides (PDF),

• Yevgeny Kazakov, Pavel Klinov. Goal-Directed Tracing of Inferences in EL Ontologies. In P. Mika et al. (eds.): Proceedings of the 13th International Semantic Web Conference (ISWC-14). LNCS 8797, Springer 2014. SpringerLink. Download technical report (PDF).

• Yevgeny Kazakov, Pavel Klinov. Bridging the Gap between Tableau and Consequence-Based Reasoning. In Meghyn Bienvenu, Magdalena Ortiz,Riccardo Rosati, Mantas Simkus, eds.: Proceedings of the 27th International Workshop on Description Logics (DL-14). CEUR Workshop Proceedings 2014. Download technical report (PDF).

• Yevgeny Kazakov, Markus Krötzsch, František Simančík. The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with EL Ontologies. Journal of Automated Reasoning 53(1): 1-61 (2014). SpringerLink. Download Preprint. Download test ontologies (ZIP). Slides (PDF), Slides(PDF). (Main reference on ELK)

• Yevgeny Kazakov, Pavel Klinov. Incremental Reasoning in OWL EL without Bookkeeping. In Alani et al. (eds.): Proceedings of the 12th International Semantic Web Conference (ISWC-13). LNCS 8218, Springer 2013. Download (PDF). Slides (PDF). Download technical report (PDF). Demo.

• Yevgeny Kazakov, Markus Krötzsch, František Simančík. ELK Reasoner: Architecture and Evaluation. In Ian Horrocks, Mikalai Yatskevich, Ernesto Jimenez-Ruiz, eds.: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012). CEUR Workshop Proceedings 2012. Download (PDF).

• Yevgeny Kazakov, Markus Krötzsch, František Simančík. ELK: A Reasoner for OWL EL Ontologies. System Description 2012. Download technical report (PDF).

• Yevgeny Kazakov, Markus Krötzsch, František Simančík. Practical Reasoning with Nominals in the EL Family of Description Logics. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR-12). AAAI 2012. Download technical report (PDF). Download test ontologies (ZIP). Slides (PDF)

• Yevgeny Kazakov, Markus Krötzsch, František Simančík. Concurrent Classification of EL Ontologies. In Aroyo et al. (eds.): Proceedings of the 10th International Semantic Web Conference (ISWC-11). LNCS 7032, Springer 2011. Download (PDF). Download technical report (PDF). Slides (PDF).

• 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). Slides (PDF).

Authors

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

Acknowledgements

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).