[Pellet-users] PRONTO: usage in applications

[robocop]

Hi all,
I'm trying to use pronto in a sample java application, so I tried to 
redo the examples in the Pronto release package through java code 
(below) but I always got ontology inconsistency:
Exception in thread "main" 
com.clarkparsia.pronto.exceptions.ProbabilisticInconsistencyException: 
Ontology is generally inconsistent
        at 
com.clarkparsia.pronto.ProntoLexicographicReasoner.tightLexicographicEntailment(ProntoLexicographicReasoner.java:270)
        at 
com.clarkparsia.pronto.ProntoLexicographicReasoner.subsumptionEntailment(ProntoLexicographicReasoner.java:126)
        at it.robocop.pronto.Demo.main(Demo.java:51)

The ontologies (classical and probabilistic) are the same one of the 
examples (I have only changed the uri reference in the owl:import due to 
the path change). Clearly, the example batch fine work fine and I got 
the results. Why?

I report the important code in my main:
ProbKnowledgeBase pkb = new KBStandaloneLoader().load(FILE_PREFIX + 
"cancer_cc.owl");
ProntoLexicographicReasoner reasoner = new 
ProntoLexicographicReasoner(new PSATSolverImpl());

reasoner.subsumptionEntailment(pkb, ATermUtils.makeTermAppl(URI_PREFIX + 
"AshkenaziJewishWoman"), ATermUtils.makeTermAppl(URI_PREFIX + 
"WomanWithBRCInLongTerm"));
System.out.println(reasoner.explainLastEntailment());

reasoner.membershipEntailment(pkb, ATermUtils.makeTermAppl(URI_PREFIX + 
"Helen"), ATermUtils.makeTermAppl(URI_PREFIX + 
"WomanUnderTripleIncreasedBRCRisk"));
System.out.println(reasoner.explainLastEntailment());

Any help?
Rob