The ELK Reasoner

ELK is a reasoner for OWL 2 ontologies that currently supports (most of) the OWL 2 EL ontology language.

ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL, developed by the University of Oxford and the University of Ulm. 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 massively parallel and insanely fast. It can classify the SNOMED CT ontology with around 300,000 classes in a few seconds on a modern laptop. It runs on all operating systems that support Java 1.6 or above. ELK is being jointly developed at the University of Oxford (by Markus Krötzsch and František Simančík) and the University of Ulm (by Yevgeny Kazakov, Pavel Klinov, and Peter Skocovsky). Its development is supported by projects  ConDOR (Oxford) and Live Ontologies (Ulm).

More information about ELK can be obtained from the GitHub project page.

Publications

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

13.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Advancing {ELK}: Not Only Performance Matters
In Diego Calvanese and Boris Konev, Editor, DL Band 1350 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2015
12.
pdf
Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František
The Incredible {ELK}: From Polynomial Procedures to Efficient Reasoning with {EL} Ontologies
JAR, 53(1):1-61
2014
11.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Goal-Directed Tracing of Inferences in {EL} Ontologies
ISWC Band 8797 aus Lecture Notes in Computer Science , Seite 196--211.
Herausgeber: Springer,
2014
10.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Bridging the Gap between Tableau and Consequence-Based Reasoning
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, Editor, DL Band 1193 aus CEUR Workshop Proceedings , Seite 579-590.
Herausgeber: CEUR-WS.org,
2014
9.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Goal-Directed Tracing of Inferences in {EL} Ontologies
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, Editor, DL Band 1193 aus CEUR Workshop Proceedings , Seite 221-232.
Herausgeber: CEUR-WS.org,
2014
8.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Incremental Reasoning in {EL+} without Bookkeeping
DL Band 1014 aus CEUR Workshop Proceedings , Seite 294-315.
Herausgeber: CEUR-WS.org,
2013
7.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Experimenting with {ELK} Reasoner on Android
ORE Band 1015 aus CEUR Workshop Proceedings , Seite 68-74.
Herausgeber: CEUR-WS.org,
2013
6.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Incremental Reasoning in {OWL EL} without Bookkeeping
ISWC Band 8218 aus Lecture Notes in Computer Science , Seite 232-247.
Herausgeber: Springer,
2013
5.
pdf
Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František
Practical Reasoning with Nominals in the {EL} Family of Description Logics
In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, Editor, Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR} 2012)
Herausgeber: AAAI Press,
2012
ISBN: 978-1-57735-560-1
4.
pdf
Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František
{ELK} Reasoner: Architecture and Evaluation
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation ({ORE} 2012)
2012
Export als: BibTeX, XML