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

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 的事物都可以推断为 deliveriesToItaly 定义的class是双向的：
同上，
任何作为 deliveriesToItay 的事物都可以推断出具有来自意大利的值的 shipTo

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

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

What is the difference between owl:equivalentClass and rdfs;subClassOf when making owl:Restrictions

computer-science

owl

ontology

semantic-web

rdfs