[Pellet-users] tracing back inconsistency

[Luigi Iannone]

Hi all,

I have built an ontology ( available at 
http://www.csc.liv.ac.uk/~luigi/PIPSOntologyRework/PIPSNutrition.owl) 
and I asked programmatically to Pellet for its consistency. Pellet says 
it is not and gives me a reason. The problem is that I cannot make a lot 
out of such reason. Here's what it says:

WARN [main] (KnowledgeBase.java:892) - Inconsistent ontology. Reason: 
Individual 
http://www.pips.eu.org/ontologies/nutrition#NutsServingRecommendation is 
forced to belong to class http://www.pips.eu.org/ontologies/food#Food 
and its complement

This is because the individual belongs to ServingRecommendation that is 
disjoint with Food.

The problem is that I cannot find out how come such individual is in the 
extension of Food

I tried to use the debug facilities in SWOOP but, after Pellet completes 
the reasoning in less than one second, it hangs on ages (with 512 max 
heap space) for rendering the ontology and, after almost an hour, it has 
not finished yet, therefore, I cannot click on the famous why link in 
order to pinpoint which are the axioms responsible for that inconsistency.

Can anyone help on that? I am sure I am missing something.

Thanks in advance,

Luigi