У меня есть класс A с двумя подклассами B и C, и я хочу сказать, что A является объединением B и C. Но B и C не являются непересекающимися, поэтому я не могу использовать Disjoint Union Of в Protege.
Как правильно это сделать?А Equivalent To с и and?