A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
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 thatdoi:10.1007/s10817-013-9296-3 fatcat:vgk47zats5dqjfy6rcgihwb3ue