[Pellet-Users] Consistency issue

[Bijan Parsia]

On Nov 16, 2006, at 1:56 AM, pkp at itee.uq.edu.au wrote:

> I try to run pellet on these two owls:
[snip]
> It should say not consistent,

Why should it say that?

> but pellet said they are consistent owl.

As they are. I guess I can kind of see why you might think the first  
is inconsistent, but really, you've just defined some unsatisfiable  
classes. I have no clue why you think the second is inconsistent.

> Please help !!!

I don't think you quite understand what you are saying. In this, as  
in many cases, Pellet is correct.

Cheers,
Bijan.