我需要创建仅限于仅运往意大利的商品的商品。
我不完全明白之间的差别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].
有人可以解释两者之间的区别,并可能在我提供的两个示例之间的上下文中进行解释吗?
语义上,你将类定义为Primitive(subClassOf)与Defined(equivalentClass)。主要区别在于在一个或两个方向上进行推断。
原始类是单向的:
当你确信自己具有足够的类成员资格规则时,将使用Defined类-否则,Primitive仅用于必要的规则。
另外,在给定的示例中,如果
owl:equivalentClass
使用,:individual a [a owl:restriction; owl:ownProperty ebay:shipsTo; owl:allValuesFrom geo:Italy].
则:individual a :deliversToItaly
可以推断本体中的发现。如果rdfs:subClassOf
使用,则无法进行推断。谢谢,雷纳托,这对我有帮助:)