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