.<ATermAppl> emptySet(), false );
ATermAppl newUC = ATermUtils.normalize( ATermUtils.makeNot( testClass ) );
Role topObjectRole = kb.getRole( TOP_OBJECT_PROPERTY );
boolean added = topObjectRole.addDomain( newUC, DependencySet.INDEPENDENT );
ABox copy = kb.getABox().copy();
copy.setInitialized( false );
querySatisfied = !copy.isConsistent();