aboxAssertions = new MultiValueMap<AssertionType, ATermAppl>();
annotations = kb.annotations;
expChecker = new ExpressivityChecker( this, kb.getExpressivity() );
changes = kb.changes.clone();
if( PelletOptions.USE_INCREMENTAL_DELETION ) {
deletedAssertions = new HashSet<ATermAppl>();