[protege-discussion] Re : protege-discussion Digest, Vol 33, Issue 30

[Thomas Russ]

On May 1, 2009, at 5:54 AM, siham amrouch wrote:

> Dear all,
> Can we create a duplicate class in protege 3.4 beta

What do you mean by "duplicate class"?

a)  If you mean more than one class with the same name, the answer is  
no.

b)  If you mean more than one class with different names, but the same  
necessary conditions, the answer is yes.

c)  If you mean more than one class with different names, but the same  
necessary and sufficient conditions, the answer is yes, and the  
reasoner will figure out that the classes are equivalent.

d)  Or maybe you mean something else?