I have a class A with two subclasses B and C, and I want to say that A is the union of B and C. But B and C are not disjoint, so I can't use Disjoint Union Of in Protege.
What is the correct way of doing this? And Equivalent To with and and?
Asked
Active
Viewed 88 times
0
moondaisy
- 4,303
- 6
- 41
- 70
-
2https://i.stack.imgur.com/1Xjld.png – Stanislav Kralin Dec 02 '18 at 20:23
-
thanks @StanislavKralin feel free to leave it as an answer. It end ups being an `Equivalent to` with an `or`, so that's where I was wrong – moondaisy Dec 02 '18 at 21:10
-
1You could also declare `A subclassOf (B or C)`, the equivalence will be inferred. – Ignazio Dec 04 '18 at 20:37