private int axiomCount = 0;
public ExplanationTester(ExplanationGenerator expGen) {
this.expGen = expGen;
converter = new SatisfiabilityConverter(OntologyUtils.getOWLOntologyManager().getOWLDataFactory());
renderer = new ConciseExplanationRenderer();
}