Sparql 我们能从两个类的限制推断出它们之间的关系吗？

我不确定我们是否能从两个类的限制中推断出它们之间的关系。。。如果我们有两个班：

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

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

我们能从这些知识中得出什么推论？看起来

owl:class2

比

owl:class1

更宽。我们可以推断owl:class1 rdfs:owl:class2的子类。

我们能从这些知识中得出什么推论？看起来像 owl:class2比owl:class1更宽。我们能推断猫头鹰吗 rdfs:owl的子类：class2

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

A&Subsetq；{1,2,3,4,5}
A&Subsetq；{1,2,3,4}
A&Subsetq；{2,3,4,5}

及

B&Subsetq；{1,2,3,4,5}
B&Subsetq；{1,2,3,4}

现在，关于A的子集公理比关于B的子集公理更多，关于B的所有公理也适用于A；B、 不过。例如，可能出现以下情况：

A={2,3,4}

---

B={2,3}

@AKSW我们能把restrictionclass和这里的class一样对待吗？这里说的是给定的

class3≡ 限制1⊓ 限制2

，

类别1⊑ 类别3和类别2⊑ 类别3

。如果这是你对“更广泛”的定义，那么这是可以推断的。然而，这并不意味着

class1

和

class2

甚至需要分享一个人。例如，教授和学生都有一个名字（res1）和一个姓氏（res2），但这两个集合之间通常没有重叠。值得注意的是，如果将class2定义为等同于两个限制的交集，则推理是有效的。基于此，感谢您的回答，我们可以从这两个事物与其他类的关系中得出什么推论？我们只能根据属性的域和范围推断信息吗？@Ignazio在这里有点困惑，我认为多个类的子类可以理解为多个类的交集，因为类被表示为set@Charles作为多个集合的子类并不意味着正是它们的交集。[1] 是[0,1,2]和[1,2,3]的子集，但它们的交集是[1,2]，而不是[1]。@Charles正如Joshua所说，多个类的子类意味着这些类交集的子类。

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

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