The Incredible ELK

Yevgeny Kazakov, Markus Krötzsch, František Simančík
2013 Journal of automated reasoning  
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 ontologiesand details various aspects from theory to implementation that
more » ... ELK one of the most competitive reasoning systems for EL ontologies available today.
doi:10.1007/s10817-013-9296-3 fatcat:vgk47zats5dqjfy6rcgihwb3ue