1

请您解释一下 QL (DL-Liteᴿ)、EL (EL++) 和 RL (DLP) 在以下方面的主要区别：

  • 否定
  • 合格的量化
  • 角色功能
  • 逆性质
  • 对称性质
  • 角色层次结构（即子属性）

目前我知道：

  • 合格的量化在 EL 中是允许的，在 QL 中是不允许的，但在后者中我们可以做一些技巧。
  • QL 中允许使用函数属性、逆属性和子属性，但 EL 中不允许
  • QL 和 EL 都允许不相交 (A⊓B=⌀)

虽然我现在对 RL 几乎一无所知。

我知道这个问题可能太笼统了，但是我不需要详细的答案，只需要笼统的概述即可获得主要区别。

4

1 回答 1

1

我留下一个答案，只是为了读者和完整性。

  • 角色功能：RL
  • 角色层次结构：QL、RL
  • 逆属性：QL，RL
  • 对称属性：QL，RL
  • 否定（即“补码”）：QL*, RL*
  • 合格的量化（即来自特定类别的一些值）：QL*、EL、RL**

*仅在超类位置（例如：in A ⊑ B，B 在超类位置）
**仅在子类位置（例如：in A ⊑ B，A 在子类位置）

资料来源：w3.org/TR/owl2-profiles

于 2016-07-18T15:56:26.957 回答