[Pellet-users] QBox consistency for 0 individuals

[Michael Smith]

On Tue, 2007-06-12 at 08:47 +0200, christiane annie mbondi bebey wrote:

> Please, I have a problem with pellet 1.4 that I use
> with the jena interface.
> The reasoner must deduce individuals of a class which
> is equivalent to another class, but when I ask for
> those individuals it return me an "Abox consistency
> for 0 individuals".

This logging message is emitted during Abox consistency checking
(ABox.java::isConsistent) and suggests that no individuals have been
added to the KB.  If you believe you have added individuals, please send
along the data you are using and, if possible, the relevant portions of
Java code.

Regards,
-- 
Mike Smith

Clark & Parsia