modular.classify();
assertFalse( modular.isEntailed( subClassOf( A, B ) ) );
assertTrue( modular.isEntailed( subClassOf( B, C ) ) );
assertTrue( modular.isEntailed( subClassOf( D, D ) ) );
modular.dispose();
}
@Test
public void testDeferredClassification() {
OWLAxiom[] axioms = { subClassOf( A, B ), subClassOf( C, D ) };