[Pellet-users] mincardinality and openworld assumption

[bijan at clarkparsia.com]

On Wed, May 9, 2007 1:40 pm, attou_ab abdelhak <attouab at yahoo.com> said:

>    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 ?

Probably a combination of OWA plus lack of unique name assumption. Try declaring that the children are differenFrom each other (thus, must denote distinct kids and not be possibly alternative names for a single kid).

Cheers,
Bijan.