The Incredible ELK
- Speaker: Dr Yevgeny Kazakov (University of Ulm)
- Host: Konstantin Korovin
- 26th March 2013 at 15:00 in Lecture Theatre 1.3
The OWL EL profile of the Web ontology language OWL, has become the language of choice for terminological reasoning in many bio-medical applications. This profile ensures polynomial complexity of reasoning by trading certain language features that are rarely used in existing ontologies. Polynomial complexity of reasoning alone, however, does not automatically imply that reasoning procedures are efficient in practice. In this talk I will introduce the ELK system - a high performance reasoner for OWL EL ontologies - and describe several distinguished features of the system, such as goal-directed rule application, "one-pass" classification, concurrent processing, and incremental reasoning, that make ELK one of the most competitive reasoning systems for OWL EL ontologies available today.