owl:equivalentClass 和 rdfs;subClassOf 在制作 owl:Restrictions 时有什么区别

Question

我需要创建仅限于仅运送到意大利的物品的集合。

在我的问题的上下文中，我不完全理解owl:equivalentClass和rdfs:subClassOf之间的区别。

:deliversToItaly owl:equivalentClass [a owl:restriction; 
                                      owl:ownProperty ebay:shipsTo;
                                      owl:allValuesFrom geo:Italy].

对比

:deliversToItaly rdfs:subClassOf [a owl:restriction; 
                                  owl:ownProperty ebay:shipsTo;
                                  owl:allValuesFrom geo:Italy].

有人可以解释两者之间的区别，并可能在我提供的两个示例之间的上下文中解释它吗？

Answer 1

从语义上讲，您将 class 定义为 Primitive (subClassOf) 与 Defined (equivalentClass)。 主要区别在于一个或两个方向的推理。

原语 class 是单向的：

• 任何具有来自意大利的值的 ShipsTo 的事物都可以推断为 DeliverToItaly 定义的 class 是双向的：
• 如上所述，并且
• 任何作为 DeliverToItay 的事物都可以推断为具有来自意大利的值的 shipTo

当您确信您拥有 class 成员资格的必要且充分的规则时，使用定义的 class - 否则 Primitive 仅用于必要的规则。