在 OWL 中混合等效类和子类

Question

我很好奇在类描述中混合 SubClassOf 和 EquivalentClass 以及推理机的行为方式。

具体来说，如果我对同一类同时具有 EquivalentClass 和 SubClassOf 断言，那么要将个体分类到该类中，是否需要同时满足 EquivalentClass 和 SubClassOf 条件，还是只满足 EquivalentClass？

或者这是一个不好的做法？

例如（声明省略）：

ObjectPropertyRange(:format :Bar)
ObjectPropertyRange(:format owl:Thing)
EquivalentClass(:Foo ObjectSomeValuesFrom(:format :Bar))
SubClassOf(:Foo :Sna)

我想确保在下面的情况下， :x 被分类为 :Foo，因为 EquivalentClass 和 SubClassOf 断言都满足：

ClassAssertion(:x :Sna)
ObjectPropertyAssertion(:format :x :someBar)

但是:y 不是，因为 SubClassOf 不满足：

ClassAssertion(:y :NotASna)
ObjectPropertyAssertion(:format :y :someOtherBar)

谢谢，

乔纳森

Answer 1

我不完全理解你的问题，但我会尽力澄清一些事情。首先，以下公理似乎与您的问题无关（无论如何，第二个公理都是多余的，因为 owl:Thing 是任何属性的范围）：

ObjectPropertyRange(:format :Bar)
ObjectPropertyRange(:format owl:Thing)

另一件事是 EquivalentClasses -axioms 可以被视为 SubClassOf-axioms 的语法糖，例如

EquivalentClasses(C1 C2)

在逻辑上等同于

SubClassOf(C1 C2)
SubClassOf(C2 C1)

因此您可以将您的 EquivalentClasses 重写为：

SubClassOf(ObjectSomeValuesFrom(:format :Bar) :Foo)
SubClassOf(:Foo ObjectSomeValuesFrom(:format :Bar))

这可能会简化对您的含义的理解本体论使得。

现在，如果您说：

ClassAssertion(:x :Sna)
ObjectPropertyAssertion(:format :x :someBar)

我假设您想说：

ClassAssertion(:x :Sna)
ClassAssertion(:someBar :Bar)
ObjectPropertyAssertion(:format :x :someBar)

这意味着 :x 既是 :Foo 又是 :Sna，这这当然是可能的，因为 :Foo 是 :Sna 的子类。

当您说

ClassAssertion(:y :NotASna)
ObjectPropertyAssertion(:format :y :someOtherBar)

我假设您的意思是：

ClassAssertion(:y :NotASna)
ClassAssertion(:someOtherBar :Bar)
DisjointClasses(:NotASna :Sna)
ObjectPropertyAssertion(:format :y :someOtherBar)

这是逻辑上的不一致，因为 :y 必然是 :Foo （它是 :Sna< 的子类） /code>)，但同时 :y 被断言位于与 :Sna 不相交的类中。

知识。

SubClassOf(:Foo ObjectSomeValuesFrom(:format :Bar))

另请注意，我们没有使用从 EquivalentClasses 公理中得出的