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

Publications

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

• 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). To appear, 2012. Download technical report (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 extended Technical Report (PDF) (Main reference on ELK)

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

Authors

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

Acknowledgements

ELK has been created in the Knowledge Representation and Reasoning group at the Department of Computer Science of the University of Oxford. Development has been supported by the EPSRC under the research project ConDOR: Consequence-Driven Ontology Reasoning (grant number EP/G02085X/1).