The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies

Yevgeny KazakovYevgeny Kazakov,  Markus KrötzschMarkus Krötzsch,  František SimančíkFrantišek Simančík
The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies


Yevgeny Kazakov, Markus Krötzsch, František Simančík
The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies
J. Autom. Reasoning, 53(1):1-61, 2014
  • KurzfassungAbstract
    EL is a simple tractable Description Logic that features conjunctions and existential restrictions. Due to its favorable computational properties and relevance to existing ontologies, EL has become the language of choice for terminological reasoning in biomedical applications, and has formed the basis of the OWL EL profile of the Web ontology language OWL. This paper describes ELK—a high performance reasoner for OWL EL ontologies—and details various aspects from theory to implementation that make ELK one of the most competitive reasoning systems for EL ontologies available today.
  • Bemerkung: Note: As of 2013, this is the main publication about the ELK reasoner. The work largely subsumes, extends, and improves the earlier publications Concurrent Classification of EL Ontologies and ELK Reasoner: Architecture and Evaluation.
  • Projekt:Project: DIAMOND
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
The final publication is available at Springer via http://dx.doi.org/10.1007/s10817-013-9296-3.
@article{KKS2014,
  author    = {Yevgeny Kazakov and Markus Kr{\"{o}}tzsch and Franti{\v{s}}ek
               Siman{\v{c}}{\'{\i}}k},
  title     = {The Incredible {ELK:} From Polynomial Procedures to Efficient
               Reasoning with {$\mathcal{EL}$} Ontologies},
  journal   = {J. Autom. Reasoning},
  volume    = {53},
  number    = {1},
  publisher = {Springer},
  year      = {2014},
  pages     = {1-61},
  doi       = {10.1007/s10817-013-9296-3}
}