The Benefits of Incremental Reasoning for OWL EL

This small screen cast shows how incremental reasoning helps editing large OWL ontologies. The incremental reasoning algorithm is implemented in the open source reasoner ELK (http://elk.semanticweb.org). Technical details can be found in the following paper: Yevgeny Kazakov, Pavel Klinov, "Incremental Reasoning in OWL EL without Bookkeeping", International Semantic Web Conference, 2013