说明之间有什么区别
a rdfs:subclassOf b.
a rdfs:subclassOf c.
和
a rdfs:subclass [ owl:intersectionOf ( b c)] .
在第一个示例中,继承了b以及/ c的继承“类描述”。与第二个示例有何不同?如果我用owl:equivalentTo替换subclassOf有什么区别?
答案 0 :(得分:1)
声明
a rdfs:subclassOf b.
a rdfs:subclassOf c.
等同于
a rdfs:subclass [ owl:intersectionOf ( b c)] .
陈述的效果
a owl:equivalentTo b.
a owl:equivalentTo c.
是a
等效于b
,而a
等效于c
,这意味着b
等效于c
。 / p>
说明的效果
a owl:equivalent [ owl:intersectionOf ( b c)] .
是a
等于b
和c
的交集。