我们在 DL 中将属性的范围定义为 ⊤ ⊑ ∀ r.C。
我不明白这个定义背后的想法。 为什么T（即owl:Thing）被定义为∀ r.C的子类？这意味着什么？ 是否存在 T 实际上是比 ∀ r.C 更小的集合？为什么我们不使用 ⊤ ≡ ∀ r.C？
想象我有一个角色：吃;其范围是我的 Food 类。 ⊤ ⊑ ∀ eats.Food 用简单的自然语言是什么意思？
提前非常感谢！
【问题讨论】：
标签： owl description-logic
⊤ ⊑ ∀r.C 表示与某物有关系 r 的所有事物都必须与 C。 ∀r.C 表示事物的类别，当它们与某物有关系 r 时，这种关系就是与C。比如∀hasParent.Person代表有人为父母的事物。也可能有些东西的父母不是人，比如猫和狗。通过使类成为 ⊤ 的超类，您可以确保具有关系的 所有事物 都与 C 的成员具有它。因此，您保证关系的范围是 C。
现在，我们不写 ⊤ ≡ ∀r.C 因为符号 X ≡ Y 是{X ⊑ Y, Y ⊑ X} 和任何概念 X 的快捷方式em>，X ⊑ ⊤ 总是正确的。所以，写 ⊤ ≡ ∀r.C 是多余的。
您使用eats 和Food 的例子就是一个很好的例子。任何吃东西的东西都会吃东西。或者，换种说法，更接近公理的形式：“只要某物与某物有关系eats，那么该关系就是与Food 类的元素。当然，在自然语言中，我们不要以这种方式表达这种说法，因为这听起来很复杂。
请注意，表示范围的等效方式是：∃r–.⊤ ⊑ C，其中 r–是r的反作用。
【讨论】：