B的A子类，C的A子类与B和C交点的A子类之间的区别

Question

说明之间有什么区别

a rdfs:subclassOf b.
a rdfs:subclassOf c.

和

a rdfs:subclass [ owl:intersectionOf ( b c)] .

在第一个示例中，继承了b以及/ c的继承“类描述”。与第二个示例有何不同？如果我用owl：equivalentTo替换subclassOf有什么区别？

Answer 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的交集。