ELK Reasoner (original) (raw)

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)