是否可以从两个类的限制条件推断出它们的关系？

Question

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

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

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

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

Answer 1

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

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

What inference can we draw from this knowledge? It looks like owl:class2 is broader than owl:class1. Can we inference owl:class1 rdfs:subClassOf owl:class2.?

那根本就不是合法的推论。请记住，subclass 关系只是个体集合的子集关系。限制表达式只是 class 表达式，这意味着它们表示个体的集合。当您查看某些公理时，您不会了解所有，您只知道人们已经陈述的一些事情。例如，我可以告诉你

一个 ⊆ {1,2,3,4,5}
一个⊆ {1,2,3,4}
一个⊆ {2,3,4,5}

和

B ⊆ {1,2,3,4,5}
B⊆ {1,2,3,4}

现在，关于 A 的子集公理比关于 B 的子集公理多，所有关于 B 的子集公理也适用于 A。乙，虽然。例如，情况可能是：

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