DL 中的范围定义
Range Definition in DL
我们在DL中定义a属性的范围为⊤⊑∀r.C。
我不明白这个定义背后的想法。
为什么T（即owl:Thing）定义为∀r.C的subclass？那是什么意思？
有没有 T 实际上比∀ r.C 更小的集合？为什么不用⊤≡∀r.C呢？
假设我有一个角色：eats；范围是我的 Food class。 ⊤⊑∀eats.Food用简单的自然语言是什么意思？
非常感谢！
⊤ ⊑ ∀r.C 意味着所有与 r 有关系的东西某些东西必须与 C 的实例有这种关系。 ∀r.C表示事物的class，当它们有关系时r 与某物，则此关系与 C 的实例有关。例如∀hasParent.Person表示有人的事物为parents。也可能有parents不是人的东西，比如猫狗。通过使 class 成为 ⊤ 的超 class，您可以确保 所有具有关系的东西 都与 C[= 的成员有关系53=]。因此，您保证关系的范围是 C.
现在，我们不写⊤ ≡ ∀r.C 因为记法X ≡ Y 是 {X 的快捷方式 ⊑ Y, Y ⊑ X} 并且对于任何概念 X，X 总是正确的 ⊑ ⊤ .所以，写 ⊤ ≡ ∀r.C 是多余的。
您使用 eats 和 Food 的示例就是一个很好的示例。任何吃东西的东西，都会吃食物。或者，换句话说，以更接近公理形式的方式：“只要某物与某物具有 eats 关系，则该关系与 Food class 的元素有关。当然，在自然语言中，我们不会这样表达这个说法，因为听起来很绕。
请注意，表示范围的等效方法是：∃r–.⊤ ⊑ C，其中 r– 是 r.
的反作用
我们在DL中定义a属性的范围为⊤⊑∀r.C。
我不明白这个定义背后的想法。 为什么T（即owl:Thing）定义为∀r.C的subclass？那是什么意思？ 有没有 T 实际上比∀ r.C 更小的集合？为什么不用⊤≡∀r.C呢？
假设我有一个角色：eats；范围是我的 Food class。 ⊤⊑∀eats.Food用简单的自然语言是什么意思？
非常感谢！
⊤ ⊑ ∀r.C 意味着所有与 r 有关系的东西某些东西必须与 C 的实例有这种关系。 ∀r.C表示事物的class，当它们有关系时r 与某物，则此关系与 C 的实例有关。例如∀hasParent.Person表示有人的事物为parents。也可能有parents不是人的东西，比如猫狗。通过使 class 成为 ⊤ 的超 class，您可以确保 所有具有关系的东西 都与 C[= 的成员有关系53=]。因此，您保证关系的范围是 C.
现在，我们不写⊤ ≡ ∀r.C 因为记法X ≡ Y 是 {X 的快捷方式 ⊑ Y, Y ⊑ X} 并且对于任何概念 X，X 总是正确的 ⊑ ⊤ .所以，写 ⊤ ≡ ∀r.C 是多余的。
您使用 eats 和 Food 的示例就是一个很好的示例。任何吃东西的东西，都会吃食物。或者，换句话说，以更接近公理形式的方式：“只要某物与某物具有 eats 关系，则该关系与 Food class 的元素有关。当然，在自然语言中，我们不会这样表达这个说法，因为听起来很绕。
请注意，表示范围的等效方法是：∃r–.⊤ ⊑ C，其中 r– 是 r.
的反作用