我不确定我们是否可以从他们的限制中推断两个类的关系...如果我们有2个类：
owl:class2我们可以从这些知识中得出什么推论？看起来owl:class1比owl:class1 rdfs:subClassOf owl:class2.更宽。我们可以推断MAIL_DRIVER=mail
MAIL_HOST=smtp.mandrillapp.com
MAIL_PORT=587
MAIL_USERNAME=test@gmail.com
MAIL_PASSWORD=test pass
MAIL_FROM=test@gmail.com
MAIL_NAME=test
MAIL_ENCRYPTION=null
吗？
答案 0 :(得分：6)
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}