[protege-discussion] Property restrictions

[Joachim Baran]

Hello,

On 2012-10-17, at 1:01 AM, Matthew Horridge <matthew.horridge at cs.man.ac.uk> wrote:.  
> There's a couple of things.  Although you say there can be at most one stand property to an individual that is a Strand this doesn't mean that it isn't possible to have another stand property to something that isn't an instance of Strand.  However, if both of the individuals are indeed instances to Strands then if there isn't anything that forces them to be distinct individuals (either explicitly or implicitly) then they will be interpreted to be the same object since there can be at most one.
  I understand. I had expected that declaring the individuals of Strand to be distinct would have been sufficient. So, there is no other way than using enumeration classes to solve this? 
> 

Thank you,
Joachim