ELK Reasoner: Architecture and Evaluation
Yevgeny Kazakov, Markus Krötzsch, František Simančík
ELK Reasoner: Architecture and Evaluation
Abstract. ELK is a specialized reasoner for the lightweight ontology language OWL EL. The practical utility of ELK is in its combination of high performance and comprehensive support for language features. At its core, ELK employs a consequence-based reasoning engine that can
take advantage of multi-core and multi-processor systems. A modular architecture allows ELK to be used as a stand-alone application, Protégé plug-in, or programming library (either with or without the OWL API). This system description presents the current state of ELK and experimental results with some difficult OWL EL ontologies.
Published at ORE-2012 (Workshop paper)
Download PDF (last update: Jul 12 2012)
Citation details
- 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 ProceedingsProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2012.
author = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and
Franti\v{s}ek Siman\v{c}\'{i}k},
title = {{ELK} Reasoner: Architecture and Evaluation},
booktitle = {Proceedings of the OWL Reasoner
Evaluation Workshop 2012 (ORE'12)},
editors = {Ian Horrocks and Mikalai Yatskevich
and Ernesto Jimenez-Ruiz},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {858},
year = {2012}
}
Remarks
The main reference for ELK is The Incredible ELK. Please use this in citations, as it subsumes and updates most of the material in this workshop paper. A longer version of the above workshop paper is the report ELK: A Reasoner for OWL EL Ontologies.
More information about the software used in this paper and pointers to further publications can be found on the page about ELK Reasoner.
