[Pellet-Users] Owl consistency Checker

[Alan Ruttenberg]

What about the possibilityt of reasoning in the presence of  
inconsistencies. The typical case I've encountered is when I get a  
conflict due to a combination of functional and inverse functional  
properties with "noisy" data.

I don't really want to ignore the inconsistencies forever, but I  
would like to continue doing other sorts of queries where either
a) Fixing instances in question won't change the answer, even if I  
fix the inconsistency.
b) I don't care if the inconsistent instances are simply ignored  
(with the understanding that I may be getting incomplete answers)  
since the purpose of the queries are to identify other problems with  
the data.

-Alan


On Jul 13, 2006, at 10:16 AM, Bijan Parsia wrote:

> You'll see we are moving to support that. (i.e., instead of just
> unsat concepts, we'll have a list of inconsistencies)
>
> Cheers,
> Bijan.