}
@Test
@Ignore
public final void testIsKBSatisfiable() throws OWLReasonerRuntimeException {
BooleanResponse expected = referenceReasoner.answer(new IsKBSatisfiable(referenceReasoner.getDefaultKB()));
BooleanResponse actual = heraklesReasoner.answer(new IsKBSatisfiable(heraklesReasoner.getDefaultKB()));
assertEquals( expected, actual );
}