@Test
@Ignore
public final void testIsClassSatisfiable() throws OWLReasonerRuntimeException {
for( OWLClassExpression x : ontology.getClassesInSignature() ) {
BooleanResponse expected = referenceReasoner.answer(new IsClassSatisfiable(referenceReasoner.getDefaultKB(), x));
BooleanResponse actual = heraklesReasoner.answer(new IsClassSatisfiable(heraklesReasoner.getDefaultKB(), x));
assertEquals( expected, actual );
}
}