public void addNonLocal() throws OWLException {
OWLAxiom[] axioms = { subClassOf( A, B ), subClassOf( C, D ) };
createOntology( axioms );
IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner( ontology );
modular.classify();
assertTrue( modular.isEntailed( subClassOf( A, B ) ) );
assertFalse( modular.isEntailed( subClassOf( B, C ) ) );
assertTrue( modular.isEntailed( subClassOf( C, D ) ) );