@Override public void addSame(final ATermAppl i1, final ATermAppl i2) { if (null == i1 || null == i2) return; // set addition flag _changes.add(ChangeType.ABOX_ADD); if (canUseIncConsistency()) { // TODO: refactor the access to the updatedIndividuals and // newIndividuals - add get method _abox.getIncrementalChangeTracker().addUpdatedIndividual(_abox.getIndividual(i1)); _abox.getIncrementalChangeTracker().addUpdatedIndividual(_abox.getIndividual(i2)); // add to pseudomodel - note _branch is not set to zero - this is // done in SHOIQIncStrategy, prior // to merging _nodes _abox.addSame(i1, i2); } _abox.addSame(i1, i2); _logger.finer(() -> "same " + i1 + " " + i2); }
@Override public void addSame(final ATermAppl i1, final ATermAppl i2) { if (null == i1 || null == i2) return; // set addition flag _changes.add(ChangeType.ABOX_ADD); if (canUseIncConsistency()) { // TODO: refactor the access to the updatedIndividuals and // newIndividuals - add get method _abox.getIncrementalChangeTracker().addUpdatedIndividual(_abox.getIndividual(i1)); _abox.getIncrementalChangeTracker().addUpdatedIndividual(_abox.getIndividual(i2)); // add to pseudomodel - note _branch is not set to zero - this is // done in SHOIQIncStrategy, prior // to merging _nodes _abox.addSame(i1, i2); } _abox.addSame(i1, i2); _logger.finer(() -> "same " + i1 + " " + i2); }