[Pellet-users] Pin-pointing (Explanation set) given by the Pellet

[Jigneshkumar Viradia]

Hello,

Sometimes pellet explanation set (pinpointing) responsible for
causing the inconsistency of the ABox, is not the subset of
the  ABox  on which the consistency was checked.

If we do not use any role - assertions in the ABox,
then I think this problem does not occure in Pellet.

Is this true ? or are there still chances to get
explanations which are not the member of the ABox
(just having concept assertions) ??

Thank you.

Best regards,
Jigneshkumar Viradia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080711/65a13c44/attachment.htm