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. ELK: A Reasoner for OWL EL Ontologies. In Technical Report. 2012.
(view details, download)
- 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 2012). 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)
