我们可以从它们的限制中推断出两个类的关系吗？答案

【问题标题】：Can we inference the relationship of two classes from their restrictions?我们可以从它们的限制中推断出两个类的关系吗？
【发布时间】：2015-12-10 07:06:45
【问题描述】：

我不确定我们是否可以从它们的限制中推断出两个类的关系......如果我们有 2 个类：

owl:class1 rdfs:subClassOf [restriction1...], [restriction2...], [restriction3].

owl:class2 rdfs:subClassOf [restriction1...], [restriction2...].

我们可以从这些知识中得出什么推论？看起来owl:class2 比owl:class1 更广泛。我们可以推断owl:class1 rdfs:subClassOf owl:class2.吗？

【问题讨论】：

@AKSW 我们可以把restrctionClass 和这里的class 一样对待吗？
这说明给定class3 ≡ restriction1 ⊓ restriction2、class1 ⊑ class3 和class2 ⊑ class3。如果这是您对“更广泛”的定义，那么这是可以推断的。但是，这并不意味着class1 和class2 甚至需要共享一个人。想想例如教授和学生都有姓名 (res1) 和姓氏 (res2)，但两组之间通常没有重叠。

标签： sparql semantic-web owl ontology inference

【解决方案1】：

owl:class1 rdfs:subClassOf [restriction1...], [restriction2...], [restriction3].

owl:class2 rdfs:subClassOf [restriction1...], [restriction2...].
我们可以从这些知识中得出什么推论？看起来像 owl:class2 比 owl:class1 更广泛。我们可以推断出 owl:class1 rdfs:subClassOf owl:class2.?

这根本不是法律推论。请记住，子类关系只是个体集合上的子集关系。限制表达式只是类表达式，这意味着它们表示个体的集合。当您查看一些公理时，您并不了解一切，您只知道人们所说的一些事情。例如，我可以告诉你

一个 &subseteq; {1,2,3,4,5}
一个&subseteq; {1,2,3,4}
一个&subseteq; {2,3,4,5}

和

B &subseteq; {1,2,3,4,5}
B&subseteq; {1,2,3,4}

现在，关于 A 的子公理比关于 B 的要多，关于 B 的所有子公理也适用于 A。A &subseteq; 不一定是这种情况。不过，B。例如，可能是这样的：

A = {2,3,4}
B = {2,3}

【讨论】：

值得注意的是，如果将 class2 定义为等效于两个限制的交集，则推断将是有效的。
感谢您的回答，基于此，我们可以从它们与其他类的关系中得出什么推论？我们只能根据属性的域和范围来推断信息吗？
@Ignazio 在这里有点困惑，我认为多个类的子类可以理解为多个类的交集，因为类表示为集合
@Charles 是几个集合的子类并不意味着它们完全是它们的交集。 [1] 是 [0,1,2] 和 [1,2,3] 的子集，但它们的交集是 [1,2]，而不是 [1]。
@Charles 正如Joshua所说，多个类的子类是指类交集的子类。