@@ -0,0 +1,858 @@
+package owltools.reasoner;%0A%0Aimport static org.junit.Assert.*;%0A%0Aimport java.util.Set;%0A%0Aimport org.junit.Test;%0Aimport org.semanticweb.owlapi.model.OWLClass;%0Aimport org.semanticweb.owlapi.model.OWLOntology;%0Aimport org.semanticweb.owlapi.reasoner.OWLReasoner;%0A%0Aimport owltools.OWLToolsTestBasics;%0Aimport owltools.io.ParserWrapper;%0A%0Apublic class PrecomputingMoreReasonerFactoryTest extends OWLToolsTestBasics %7B%0A%0A%09@Test%0A%09public void test() throws Exception %7B%0A%09%09ParserWrapper pw = new ParserWrapper();%0A%09%09OWLOntology o = pw.parse(getResourceIRIString(%22wine.owl%22));%0A%09%09%0A%09%09PrecomputingMoreReasonerFactory factory = PrecomputingMoreReasonerFactory.getMoreHermitFactory();%0A%09%09OWLReasoner reasoner = factory.createReasoner(o);%0A%09%09%0A%09%09Set%3COWLClass%3E unsatisfiable = reasoner.getUnsatisfiableClasses().getEntitiesMinusBottom();%0A%09%09assertEquals(0, unsatisfiable.size());%0A%09%09%0A%09%7D%0A%0A%7D%0A

add minimal test case for more reasoner