Data and Knowledge Group
― Knowledge Representation and Reasoning
ELK OWL 2 EL Reasoner
Overview
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.
Researchers
Yevgeny Kazakov, Markus Krötzsch and František Simančíc.
Sponsors
UK Engineering and Physical Sciences Research Council
Key Publications
- Yevgeny Kazakov, Markus Krötzsch, František Simančík. Concurrent Classification of EL Ontologies. Technical report. University of Oxford 2011. (download 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)