[Pellet-Users] Universal quantifier

[Shepherd, Michael]

I have created a simple ontology that contains a defined class with a logical restriction allValuesFrom hasSize only Small.  I populate a set of individuals with only instances of Small.  If the hasSize property is functional and only contains a single Small individual, then the reasoner infers that the individuals I populate are members of my defined class, but if I change hasSize to be not functional and it still contains a single Small individual, the reasoner does not infer the membership any longer.

 

I see in the Protégé Pizza tutorial section 4.12 that the non-functional hasTopping with allValuesFrom restriction acts the way I expect, so are there ideas as to what may be wrong with the non-functional hasSize property restriction?

 

Mike

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.mindswap.org/pipermail/pellet-users/attachments/20060915/6e6b045f/attachment.html