ELK Reasoner
From korrekt.org
ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL. It is based on Java and can be controlled using the OWL API, Protégé, the Snow Owl ontology editor, or a basic command line interface. ELK is available under the Apache License 2.0.
ELK is very fast. It can classify the SNOMED CT ontology with around 300,000 classes in less than 4 seconds on a modern laptop (see the paper Concurrent Classification of EL Ontologies for details). This is achieved by highly optimized consequence-based reasoning algorithms that can also take advantage of multi-core CPUs.
ELK is joint work with Yevgeny Kazakov and František Simančík.
Links
- ELK homepage (go there to download ELK)
- ELK Protégé plugin page
- ELK code statistics at Ohloh
Updates to the following list are also available as RSS feed. A list of all publications is also available.
- Yevgeny Kazakov, Markus Krötzsch, František Simančík. Practical Reasoning with Nominals in the EL Family of Description Logics. In Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith, eds.: Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012). AAAI Press 2012.
(view details, download)
- 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 OWL Reasoner Evaluation Workshop 2012. CEUR Workshop Proceedings 2012.
(view details, download)
- Yevgeny Kazakov, Markus Krötzsch, František Simančík. ELK: A Reasoner for OWL EL Ontologies. In Technical Report. 2012.
(view details, download)
- Yevgeny Kazakov, Markus Krötzsch, František Simančík. Concurrent Classification of EL Ontologies. In Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy, Eva Blomqvist, eds.: Proceedings of the 10th International Semantic Web Conference. Springer 2011.
(view details, download)
- 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.
(view details, download)
