[Pellet-users] Inference problem I don't understand

[Alejandro de Campos]

Hello. I have the following ontology in Protege:

Class X
  subclass X1
  subclass X2

Class Test (with property hasX, range X)
   subclass Test1
   subclass Test2

Test1 has one "necessary & sufficient" block:
    "hasX some X1"

Test2 has two "necessary & sufficient" blocks:
    "hasX some X1"
and
    "hasX some X2"


I expected the reasoner to tell me that Test2 is a subclass of Test1. But
what it really says is that Test1 and Test2 are equivalent classes! And then
if I try to get the individuals belonging to Test1 or Test2 the reasoner
will return the same in both cases, even if the individuals "hasX x2" and
not "hasX x1"

What's the reason for that behavior?

Thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070904/7553d905/attachment.htm