标签: owl ontology protege
我有一个带有两个子类B和C的类A,我想说A是B和C的并集。但是B和C并不是不相交的,所以我不能在其中使用Disjoint Union Of Protege。
Disjoint Union Of
这样做的正确方法是什么?还有Equivalent To和and?
Equivalent To
and