OWL2 QL、EL和RL的区别
Differences between OWL2 QL, EL and RL
能否请您解释一下 QL (DL-Liteᴿ)、EL (EL++) 和 RL (DLP) 在以下方面的主要区别：
- 否定
- 合格量化
- 角色功能
- 逆属性
- 对称属性
- 角色层次结构（即子属性）
目前我知道：
- 合格量化在 EL 中允许，但在 QL 中不允许，但在后者中我们可以做一些技巧。
- 函数属性、逆属性和子属性在 QL 中允许，但在 EL 中不允许
- QL 和 EL 都允许不相交 (A⊓B=⌀)
虽然我现在对 RL 几乎一无所知。
我知道这个问题可能太笼统了，但我不需要详细的答案，只需要一个笼统的概述来了解主要区别。
我留下一个答案，只是为了读者，为了完整性。
- 角色功能：RL
- 角色层级：QL、RL
- 逆属性: QL, RL
- 对称属性: QL, RL
- 否定（即"complement of"）：QL*，RL*
- 合格量化（即来自特定class的一些值）：QL*、EL、RL**
*仅在superclass位置（例如：在A ⊑ B，B在superclass位置）
**仅在subclass位置（例如：在A ⊑ B，A在subclass位置）
能否请您解释一下 QL (DL-Liteᴿ)、EL (EL++) 和 RL (DLP) 在以下方面的主要区别：
- 否定
- 合格量化
- 角色功能
- 逆属性
- 对称属性
- 角色层次结构（即子属性）
目前我知道：
- 合格量化在 EL 中允许，但在 QL 中不允许，但在后者中我们可以做一些技巧。
- 函数属性、逆属性和子属性在 QL 中允许，但在 EL 中不允许
- QL 和 EL 都允许不相交 (A⊓B=⌀)
虽然我现在对 RL 几乎一无所知。
我知道这个问题可能太笼统了，但我不需要详细的答案，只需要一个笼统的概述来了解主要区别。
我留下一个答案，只是为了读者，为了完整性。
- 角色功能：RL
- 角色层级：QL、RL
- 逆属性: QL, RL
- 对称属性: QL, RL
- 否定（即"complement of"）：QL*，RL*
- 合格量化（即来自特定class的一些值）：QL*、EL、RL**
*仅在superclass位置（例如：在A ⊑ B，B在superclass位置）
**仅在subclass位置（例如：在A ⊑ B，A在subclass位置）