OWL 2 EL
Definition
<OWL 2 EL> is a syntactic subset of <OWL 2> that enables polynomial time algorithms for all the standard reasoning tasks; it is particularly suitable for applications where very large ontologies are needed, and where expressive power can be traded for performance guarantees