EL++

EL++ is a lightweight description logic that was designed to. Wikipedia