[protege-user] Some doubts

I am trying to build an ontology with a class, "Letters," containing two
subclasses: "Vowels" and "Consonants." I create the enumerated class
"Vowels" as in exercise 24 of the manual dated October 8, 2021, by adding
the instances A, E, I, O, U and then accessing "Equivalent to".

Next, I try to do the same with the "Consonants" class, but when I go to
add the instances, the vowels I added earlier appear. If I remove them and
add the consonants (B, C, D, ..., X, Y, Z) and finish the process with
"Equivalent to," the vowels disappear when I synchronize, and I can't get
both classes at the same time.

What am I doing wrong?

And another question: How could I use Protege to model the basic questions
of set theory?

Thank you very much in advance, and please excuse any inconvenience this
may have caused.

Yours sincerely
Ximo Castelló.

_______________________________________________
protege-user mailing list
[email protected]
https://mailman.stanford.edu/mailman/listinfo/protege-user