首页 > 解决方案 > 作为 unionOf 的类,但没有其他类不相交

问题描述

我有一个A类,有两个子类B和C,我想说A是B和C的并集。但是B和C不是不相交的,所以我不能Disjoint Union Of在Protege中使用。

这样做的正确方法是什么?和Equivalent Toand

标签: owlontologyprotege

解决方案


推荐阅读