OWL 2 EL Profile

OWL 2 EL is one of the OWL 2 profiles (subsets of the OWL 2 language designed to have favourable computational properties) which is inspired by the kind of expressivity used in large bio-medical ontologies.

Readings:

• The OWL 2 EL Specification: http://www.w3.org/TR/owl2-profiles/#OWL_2_EL. Motik et al. 2012.
• Fast Classification in Protege: Snorocket as an OWL 2 EL Reasoner. Lawley and Bousquet. IAOA 2010.
• ELK Reasoner: Architecture and Evaluation. Kazakov, Krotzsch and Simancik. ORE 2012.

If you want to know where OWL 2 EL came from then these are the seminal papers (not necessary for reading for this session though)

• Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and - what else? S. Brandt. ECAI 2004.
• Pushing the EL Envelope. Franz Baader and Sebastian Brandt and Carsten Lutz. IJCAI 2005.