public void testComplementRemoval() throws OWLException {
String ns = "http://test#";
OWLOntology ont = loadOntology( MiscTests.base + "ticket539.ofn" );
PelletReasoner reasoner = PelletReasonerFactory.getInstance().createNonBufferingReasoner( ont );
assertFalse(reasoner.isConsistent());
OWL.manager.removeAxiom(ont, OWL.subClassOf(OWL.Class(ns+"a_GROUP"), OWL.Class(ns+"a_TEMPORALTHING")));
assertFalse(reasoner.isConsistent());
OWL.manager.removeAxiom(ont, OWL.subClassOf(OWL.Class(ns+"a_INDIVIDUAL"), OWL.not(OWL.Class(ns+"a_SETORCOLLECTION"))));
assertFalse(reasoner.isConsistent());
}