EL++

EL++ is a lightweight description logic that was designed to EL++ has been incorporated into OWL 2 as a OWL 2 EL Profile. Wikipedia