保护两个类的OWL子类

时间:2017-12-19 14:53:43

标签: rdf owl protege

在OWL中有一个类是两个不同类的子类有什么问题吗?

1 个答案:

答案 0 :(得分:2)

这正是OWL的形式语义的定义。例如,A SubClassOf B和A SubClassOf C等同于公理A SubClassOf(B和C)