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

Question

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

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

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

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

В то время как я не сейчас почти nothig о RL.

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

Answer 1

Я оставляю ответ только для читателей и ради полноты.

• функциональные роли: RL
• Роль иерархии: QL, RL
• обратные свойства: QL, RL
• симметричные свойства: QL, RL
• отрицанием (т.е. «дополнение»): QL *, RL *
• квалифицированная количественная оценка (т.е. некоторые значения из определенного класса): QL *, EL, RL **

* только в суперкласса положении (например: в A ⊑ B, B находится в положении суперкласса)
** только в положении подкласса (например: в A ⊑ B, A находится в положении подкласса)

Источник: w3.org/TR/owl2-profiles