/** * Clear the visitor _cache about simple properties. Should be called before a reload. */ public void clear() { _unsupportedAxioms.clear(); _compositePropertyAxioms.clear(); _simpleProperties.clear(); }
/** * Clear the visitor _cache about simple properties. Should be called before a reload. */ public void clear() { _unsupportedAxioms.clear(); _compositePropertyAxioms.clear(); _simpleProperties.clear(); }
/** * Clear the visitor _cache about simple properties. Should be called before a reload. */ public void clear() { _unsupportedAxioms.clear(); _compositePropertyAxioms.clear(); _simpleProperties.clear(); }
public ConceptInfo(final ATermAppl c, final boolean storeSuccessors, final boolean noTriggers) { _concept = c; _successors = storeSuccessors ? new MultiValueMap<>() : null; _predecessors.clear(); _triggers = noTriggers ? null : SetUtils.create(); }
public ConceptInfo(final ATermAppl c, final boolean storeSuccessors, final boolean noTriggers) { _concept = c; _successors = storeSuccessors ? new MultiValueMap<>() : null; _predecessors.clear(); _triggers = noTriggers ? null : SetUtils.create(); }
@Override protected void reset() { super.reset(); _hasComplexRoles = _kb.getExpressivity().hasTransitivity() || _kb.getExpressivity().hasComplexSubRoles(); _primaryQueue.clear(); _concepts.clear(); _existentials.clear(); _conjunctions.clear(); _roleChains = new RoleChainCache(_kb); _roleRestrictions = new RoleRestrictionCache(_kb.getRBox()); }
@Override protected void reset() { super.reset(); _hasComplexRoles = _kb.getExpressivity().hasTransitivity() || _kb.getExpressivity().hasComplexSubRoles(); _primaryQueue.clear(); _concepts.clear(); _existentials.clear(); _conjunctions.clear(); _roleChains = new RoleChainCache(_kb); _roleRestrictions = new RoleRestrictionCache(_kb.getRBox()); }
@Override public void clearABox() { _aboxAssertions.clear(); _annotations.clear(); if (OpenlletOptions.USE_INCREMENTAL_DELETION) { _deletedAssertions.clear(); _syntacticAssertions.clear(); _dependencyIndex = new DependencyIndex(this); } _abox = new ABoxImpl(this, true); // copy abox & cache. _individuals.clear(); _changes = EnumSet.of(ChangeType.ABOX_DEL); prepare(); // even though we don't copy the _individuals over to the new KB // we should still create _individuals for the for (final ATermAppl nominal : getExpressivity().getNominals()) addIndividual(nominal); }
@Override public void clearABox() { _aboxAssertions.clear(); _annotations.clear(); if (OpenlletOptions.USE_INCREMENTAL_DELETION) { _deletedAssertions.clear(); _syntacticAssertions.clear(); _dependencyIndex = new DependencyIndex(this); } _abox = new ABoxImpl(this, true); // copy abox & cache. _individuals.clear(); _changes = EnumSet.of(ChangeType.ABOX_DEL); prepare(); // even though we don't copy the _individuals over to the new KB // we should still create _individuals for the for (final ATermAppl nominal : getExpressivity().getNominals()) addIndividual(nominal); }
@Override public void clear() { if (_abox == null) _abox = new ABoxImpl(this); else { final boolean doExplanation = _abox.doExplanation(); final boolean keepLastCompletion = _abox.isKeepLastCompletion(); _abox = new ABoxImpl(this); _abox.setDoExplanation(doExplanation); _abox.setKeepLastCompletion(keepLastCompletion); } _tbox = TBoxFactory.createTBox(this); _rbox = new RBoxImpl(); _rules.clear(); // All operations are atomic (and we must allow null normalized rules). _expChecker = new ExpressivityChecker(this); _individuals.clear(); _aboxAssertions.clear(); _instances.clear(); _builder = Optional.empty(); _state.clear(); _changes = EnumSet.of(ChangeType.ABOX_ADD, ChangeType.TBOX_ADD, ChangeType.RBOX_ADD); }
@Override public void clear() { if (_abox == null) _abox = new ABoxImpl(this); else { final boolean doExplanation = _abox.doExplanation(); final boolean keepLastCompletion = _abox.isKeepLastCompletion(); _abox = new ABoxImpl(this); _abox.setDoExplanation(doExplanation); _abox.setKeepLastCompletion(keepLastCompletion); } _tbox = TBoxFactory.createTBox(this); _rbox = new RBoxImpl(); _rules.clear(); // All operations are atomic (and we must allow null normalized rules). _expChecker = new ExpressivityChecker(this); _individuals.clear(); _aboxAssertions.clear(); _instances.clear(); _builder = Optional.empty(); _state.clear(); _changes = EnumSet.of(ChangeType.ABOX_ADD, ChangeType.TBOX_ADD, ChangeType.RBOX_ADD); }