保护两个类的OWL子类

问题描述 投票:1回答:1

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

rdf owl protege
1个回答
2
投票

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

© www.soinside.com 2019 - 2024. All rights reserved.