TITLE: ELK: A Reasoner for OWL EL Ontologies
SPEAKER: Frantisek Simancik  (Department of Computer Science, University of Oxford)

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.

In this talk, I will start with a brief introduction to ontology languages, 
in particular description logics and the lightweight OWL EL, and then 
present the consequence-based reasoning algorithm and the concurrent 
implementation techniques used in ELK.