我们能否从他们的限制中推断出两个阶级的关系？

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

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

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

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

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

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

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

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

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

和

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

现在,我们有更多关于A的子集公理而不是B,而关于B的所有公理也适用于A.但不一定是A⊆B的情况.例如,可能是这样的情况:

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