用简单的英语阅读 OWL 2 Axiom
read OWL 2 Axiom in plain english
我试图理解 OWL 2 的以下公理，但不知道它们是什么类型的公理。这里 R 是角色，C 是 class
- ∃R⊑C
- ∃R⊑∃R.C
- C⊑¬∃R
- ∃R⊑¬C
到目前为止，我认为 1 提供了有关 R 范围的信息，但我不确定。谢谢
理解这些公理的唯一方法是理解所使用的描述逻辑构造函数的语义：
∃R 是 ∃R.T 的缩写形式（其中 T 指代表完整领域的顶级概念）。数学
(∃R.T)^I = {x ∈ δ^I | A y exists such that (x, y) ∈ R^I and y ∈ T^I}
这表明 ∃R.T 表示由 x 组成的一组个体，因此 x 通过关系 R 与至少 1 个个体 [=17] 相关联=] 位于顶部（话语域）。如果我们有 ∃R.C 而不是 T，y 将在 C.
C ⊑ D 指出所有 C 类型的个体也属于 D 类型。即 C 是 D 的子集。
∃R ⊑ C 表示通过关系 R 链接到至少 1 个个体的所有个体是 C 的子集。这就是为什么 ∃R ⊑ C 也被称为域公理，因为它强制对 R 中的所有关系 (x, y)，x 将是 C 类型。
¬C 定义了解释域中所有非 C 类型的个体。
以类似的方式浏览这些公理的其余部分将帮助您理解它们的含义。
我试图理解 OWL 2 的以下公理，但不知道它们是什么类型的公理。这里 R 是角色，C 是 class
- ∃R⊑C
- ∃R⊑∃R.C
- C⊑¬∃R
- ∃R⊑¬C
到目前为止，我认为 1 提供了有关 R 范围的信息，但我不确定。谢谢
理解这些公理的唯一方法是理解所使用的描述逻辑构造函数的语义：
∃R 是 ∃R.T 的缩写形式（其中 T 指代表完整领域的顶级概念）。数学
(∃R.T)^I = {x ∈ δ^I | A y exists such that (x, y) ∈ R^I and y ∈ T^I}
这表明 ∃R.T 表示由 x 组成的一组个体，因此 x 通过关系 R 与至少 1 个个体 [=17] 相关联=] 位于顶部（话语域）。如果我们有 ∃R.C 而不是 T，y 将在 C.
C ⊑ D 指出所有 C 类型的个体也属于 D 类型。即 C 是 D 的子集。
∃R ⊑ C 表示通过关系 R 链接到至少 1 个个体的所有个体是 C 的子集。这就是为什么 ∃R ⊑ C 也被称为域公理，因为它强制对 R 中的所有关系 (x, y)，x 将是 C 类型。
¬C 定义了解释域中所有非 C 类型的个体。
以类似的方式浏览这些公理的其余部分将帮助您理解它们的含义。