[Pellet-users] mincardinality and openworld assumption

[attou_ab abdelhak]

Hi all
   
  I have a class parent and a subclass parentWith2Children defined to have at least 2 children
  I have instances of the class parent that have more then 2 children, however the reasoner does not infer that they are of type  "parentwith2children". 
   
  Is this because of the open world assumption as well ?
   
  Please help 
   
  Regards
   
  attou
   

 
---------------------------------
 Get your own web address.
 Have a HUGE year through Yahoo! Small Business.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070509/f6f16a44/attachment.htm