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 僅用於必要的規則。