public void run(Reasoner hermit,Prefixes prefixes,StatusOutput status,PrintWriter output) {
status.log(2,"Checking whether the loaded ontology entails the conclusion ontology");
OWLOntologyManager m=OWLManager.createOWLOntologyManager();
try {
OWLOntology conclusions = m.loadOntology(conclusionIRI);
EntailmentChecker checker=new EntailmentChecker(hermit, m.getOWLDataFactory());
boolean isEntailed=checker.entails(conclusions.getLogicalAxioms());
output.println(isEntailed);
} catch (OWLOntologyCreationException e) {
e.printStackTrace();
}
output.flush();