Различия между OWL2 QL, EL и RL

Не могли бы вы объяснить мне основные различия между QL (DL-Liteᴿ), EL (EL++) и RL (DLP) с точки зрения:

• отрицание
• квалифицированная количественная оценка
• функциональные возможности ролей
• обратные свойства
• симметричные свойства
• иерархия ролей (т. е. подсвойства)

На данный момент я знаю, что:

• квалифицированная количественная оценка разрешена в EL, а не в QL, но в последнем мы можем проделать своего рода трюк.
• функциональные свойства, обратные свойства и подсвойства разрешены в QL, но не в EL
• непересекаемость (A⊓B=⌀) разрешена как в QL, так и в EL

Пока я почти ничего не знаю о RL.

Я знаю, может быть, вопрос слишком общий, но мне не нужен подробный ответ, только общий обзор, чтобы получить основные различия.