@Override public void addType(final ATermAppl i, final ATermAppl c, final DependencySet ds) { if (null == i || null == c || null == ds) return; // set addition flag _changes.add(ChangeType.ABOX_ADD); // if use incremental reasoning then update the cached pseudo model as // well if (canUseIncConsistency()) // TODO: refactor the access to the updatedIndividuals and // newIndividuals - add get method // add this _individuals to the affected list - used for inc. // consistency checking _abox.getIncrementalChangeTracker().addUpdatedIndividual(_abox.getIndividual(i)); synchronized (_abox) { _abox.setSyntacticUpdate(true); // TODO : find another way to alter behavior of abox _abox.addType(i, c, ds); _abox.setSyntacticUpdate(false); } if (canUseIncConsistency()) // incrementally update the expressivity of the KB, so that we do // not have to reperform if from scratch! updateExpressivity(i, c); _logger.finer(() -> "type " + i + " " + c); }
@Override public void addType(final ATermAppl i, final ATermAppl c, final DependencySet ds) { if (null == i || null == c || null == ds) return; // set addition flag _changes.add(ChangeType.ABOX_ADD); // if use incremental reasoning then update the cached pseudo model as // well if (canUseIncConsistency()) // TODO: refactor the access to the updatedIndividuals and // newIndividuals - add get method // add this _individuals to the affected list - used for inc. // consistency checking _abox.getIncrementalChangeTracker().addUpdatedIndividual(_abox.getIndividual(i)); synchronized (_abox) { _abox.setSyntacticUpdate(true); // TODO : find another way to alter behavior of abox _abox.addType(i, c, ds); _abox.setSyntacticUpdate(false); } if (canUseIncConsistency()) // incrementally update the expressivity of the KB, so that we do // not have to reperform if from scratch! updateExpressivity(i, c); _logger.finer(() -> "type " + i + " " + c); }
abox.addType(ind, c); abox.setSyntacticUpdate(false);
abox.addType(ind, c); abox.setSyntacticUpdate(false);
_abox.addType(i, nominal, DependencySet.INDEPENDENT);
_abox.addType(i, nominal, DependencySet.INDEPENDENT);