[Pellet-users] Bug? Or me not understanding OWL?

[Alan Ruttenberg]

Consider this ontology:

Namespace(ex = <http://example.com/>)
  Ontology(<http://example.com/> Class(ex:manuf_role partial ex:role )
   Individual(ex:affy type(ex:organization ))
   ObjectProperty(ex:has_role )
   ObjectProperty(ex:is_manufactured_by range(restriction(ex:has_role  
someValuesFrom(ex:manuf_role ))))
   Class(ex:hg133 partial ex:microarray )
   Class(ex:hg133 partial restriction(ex:is_manufactured_by value 
(ex:affy )))
   Class(ex:manufacturer complete restriction(ex:has_role  
someValuesFrom(ex:manuf_role ))))

I would expect that ex:affy would be classified as a ex:manufacturer.  
However, in p3, p4, and lsw using pellet 1.4 and pellet 1.5, it is not.

Unless I  add an explicit microarray individual:

   Individual(ex:hg133i1 type(ex:hg133 ))

Then it is.

Is this correct? Anyone have an explanation?

-Alan