ELK: A Reasoner for OWL EL Ontologies
Yevgeny Kazakov, Markus Krötzsch, František Simančík
ELK: A Reasoner for OWL EL Ontologies
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.
Published at Technical Report (Technical report)
Download PDF (last update: Feb 16 2012)
Citation details
- Yevgeny Kazakov, Markus Krötzsch, František Simančík. ELK: A Reasoner for OWL EL Ontologies. In Technical Report. 2012.
author = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and
Franti\v{s}ek Siman\v{c}\'{i}k},
title = {{ELK:} A Reasoner for {OWL EL} Ontologies},
type = {System Description},
institution = {University of Oxford},
year = {2012},
note = {available from
\url{http://code.google.com/p/elk-reasoner/wiki/Publications}}
}
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 technical report. The above link points to the extended technical report; there is also a shorter workshop version of this paper: ELK Reasoner: Architecture and Evaluation.
More information about the software used in this paper and pointers to further publications can be found on the page about ELK Reasoner.
