@Deprecated public synchronized Collection<? extends IndexedClassExpression> getIndexedClassExpressions() { return ontologyIndex.getClassExpressions(); } }
/** * Sets the incremental mode for this {@code DifferentialIndex}. * * @param incremental * if {@code true}, deletions and additions to this indexed are * stored separately; if {@code false} all changes are * immediately applied to the index. */ public void setIncrementalMode(boolean incremental) { if (this.incrementalMode == incremental) // already set return; LOGGER_.trace("set incremental mode: " + incremental); this.incrementalMode = incremental; if (!incremental) { clearDeletedRules(); commitAddedRules(); initClassChanges(); initIndividualChanges(); } }
@Override public boolean addContextInitRule(ChainableContextInitRule newRule) { if (!incrementalMode) { return super.addContextInitRule(newRule); } // else incrementalMode if (newRule.removeFrom(getRemovedContextInitRuleChain())) { if (newRule.addTo(getContextInitRuleChain())) return true; // else revert newRule.addTo(getRemovedContextInitRuleChain()); } // if above fails return newRule.addTo(getAddedContextInitRuleChain()); }
@Override public boolean postExecute() { if (!super.postExecute()) return false; reasoner.ontologyIndex.commitAddedRules(); reasoner.ontologyIndex.initClassChanges(); reasoner.ontologyIndex.initIndividualChanges(); return true; }
reasoner.ontologyIndex.getAddedClasses(), reasoner.ontologyIndex.getAddedIndividuals())) { IndexedClassExpression ice = newEntity .accept(new ElkEntityVisitor<IndexedClassExpression>() { changedInitRules = diffIndex.getAddedContextInitRules(); changedRulesByCE = diffIndex.getAddedContextRulesByClassExpressions(); changedDefinitions = diffIndex.getAddedDefinitions(); changedDefinitionReasons = diffIndex.getAddedDefinitionReasons();
@Override public boolean add(ModifiableIndexedClassExpression target, ChainableSubsumerRule newRule) { if (!incrementalMode) { return super.add(target, newRule); } // else incrementalMode if (newRule.removeFrom(getRemovedContextRuleChain(target))) { if (newRule.addTo(target.getCompositionRuleChain())) return true; // else revert newRule.addTo(getRemovedContextRuleChain(target)); } // if above fails return newRule.addTo(getAddedContextRuleChain(target)); }
@Override public boolean postExecute() { if (!super.postExecute()) return false; this.initialization = null; // initializing contexts which will be removed final SaturationStateWriter<?> satStateWriter = reasoner.saturationState .getContextCreatingWriter(); for (IndexedClassExpression ice : reasoner.ontologyIndex .getRemovedClassExpressions()) { if (reasoner.saturationState.getContext(ice) != null) { satStateWriter .produce(new ContextInitializationNoPremises(ice)); } } reasoner.ontologyIndex.clearDeletedRules(); return true; } }
public <C extends Context> InstanceTaxonomyState( final SaturationState<C> saturationState, final DifferentialIndex ontologyIndex, final ElkObject.Factory elkFactory) { this.ontologyIndex_ = ontologyIndex; this.saturationState_ = saturationState; this.converter_ = new ElkPolarityExpressionConverterImpl(elkFactory, ontologyIndex); ontologyIndex.addListener(new OntologyIndexDummyChangeListener() { @Override public void individualAddition(final IndexedIndividual ind) { toAdd_.add(ind); } @Override public void individualRemoval(final IndexedIndividual ind) { toRemove_.add(ind); } }); saturationState .addListener(new SaturationStateDummyChangeListener<C>() { @Override public void contextMarkNonSaturated(final C context) { final IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedIndividual) { final IndexedIndividual ind = (IndexedIndividual) root; toRemove_.add(ind); } } }); }
protected AbstractReasonerState(ElkObject.Factory elkFactory, final ReasonerConfiguration config) { this.elkFactory_ = elkFactory; this.ontologyIndex = new DifferentialIndex(elkFactory); this.propertyHierarchyCompositionState_ = new PropertyHierarchyCompositionState(); this.saturationState = SaturationStateFactory .createSaturationState(ontologyIndex); this.consistencyCheckingState = ConsistencyCheckingState .create(saturationState, propertyHierarchyCompositionState_); this.instanceTaxonomyState = new InstanceTaxonomyState(saturationState, ontologyIndex, elkFactory); this.classTaxonomyState = new ClassTaxonomyState(saturationState, ontologyIndex, elkFactory, Arrays.asList( instanceTaxonomyState.getClassTaxonomyStateListener())); this.objectPropertyTaxonomyState = new ObjectPropertyTaxonomyState( elkFactory); this.ruleAndConclusionStats = new SaturationStatistics(); this.stageManager = new ReasonerStageManager(this); this.expressionConverter_ = new ElkPolarityExpressionConverterImpl( elkFactory, ontologyIndex); this.subPropertyConverter_ = new ElkAxiomConverterImpl(elkFactory, ontologyIndex); this.traceState_ = new TraceState(config, saturationState, propertyHierarchyCompositionState_, elkFactory, ontologyIndex); this.classExpressionQueryState_ = new ClassExpressionQueryState(config, saturationState, elkFactory, ontologyIndex, factory_); this.entailmentQueryState_ = new EntailmentQueryState(config, saturationState, consistencyCheckingState, factory_, incompleteness_); }
reasoner.ontologyIndex.getAddedClasses(), reasoner.ontologyIndex.getAddedIndividuals())) { IndexedClassExpression ice = newEntity .accept(new ElkEntityVisitor<IndexedClassExpression>() { changedInitRules = diffIndex.getAddedContextInitRules(); changedRulesByCE = diffIndex.getAddedContextRulesByClassExpressions(); changedDefinitions = diffIndex.getAddedDefinitions(); changedDefinitionReasons = diffIndex.getAddedDefinitionReasons();
@Override public boolean postExecute() { if (!super.postExecute()) return false; reasoner.ontologyIndex.commitAddedRules(); reasoner.ontologyIndex.initClassChanges(); reasoner.ontologyIndex.initIndividualChanges(); return true; }
@Override public boolean add(ModifiableIndexedClassExpression target, ChainableSubsumerRule newRule) { if (!incrementalMode) { return super.add(target, newRule); } // else incrementalMode if (newRule.removeFrom(getRemovedContextRuleChain(target))) { if (newRule.addTo(target.getCompositionRuleChain())) return true; // else revert newRule.addTo(getRemovedContextRuleChain(target)); } // if above fails return newRule.addTo(getAddedContextRuleChain(target)); }
@Override public boolean postExecute() { if (!super.postExecute()) return false; this.initialization = null; // initializing contexts which will be removed final SaturationStateWriter<?> satStateWriter = reasoner.saturationState .getContextCreatingWriter(); for (IndexedClassExpression ice : reasoner.ontologyIndex .getRemovedClassExpressions()) { if (reasoner.saturationState.getContext(ice) != null) { satStateWriter .produce(new ContextInitializationNoPremises(ice)); } } reasoner.ontologyIndex.clearDeletedRules(); return true; } }
public <C extends Context> InstanceTaxonomyState( final SaturationState<C> saturationState, final DifferentialIndex ontologyIndex, final ElkObject.Factory elkFactory) { this.ontologyIndex_ = ontologyIndex; this.saturationState_ = saturationState; this.converter_ = new ElkPolarityExpressionConverterImpl(elkFactory, ontologyIndex); ontologyIndex.addListener(new OntologyIndexDummyChangeListener() { @Override public void individualAddition(final IndexedIndividual ind) { toAdd_.add(ind); } @Override public void individualRemoval(final IndexedIndividual ind) { toRemove_.add(ind); } }); saturationState .addListener(new SaturationStateDummyChangeListener<C>() { @Override public void contextMarkNonSaturated(final C context) { final IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedIndividual) { final IndexedIndividual ind = (IndexedIndividual) root; toRemove_.add(ind); } } }); }
protected AbstractReasonerState(ElkObject.Factory elkFactory, final ReasonerConfiguration config) { this.elkFactory_ = elkFactory; this.ontologyIndex = new DifferentialIndex(elkFactory); this.propertyHierarchyCompositionState_ = new PropertyHierarchyCompositionState(); this.saturationState = SaturationStateFactory .createSaturationState(ontologyIndex); this.consistencyCheckingState = ConsistencyCheckingState .create(saturationState, propertyHierarchyCompositionState_); this.instanceTaxonomyState = new InstanceTaxonomyState(saturationState, ontologyIndex, elkFactory); this.classTaxonomyState = new ClassTaxonomyState(saturationState, ontologyIndex, elkFactory, Arrays.asList( instanceTaxonomyState.getClassTaxonomyStateListener())); this.objectPropertyTaxonomyState = new ObjectPropertyTaxonomyState( elkFactory); this.ruleAndConclusionStats = new SaturationStatistics(); this.stageManager = new ReasonerStageManager(this); this.expressionConverter_ = new ElkPolarityExpressionConverterImpl( elkFactory, ontologyIndex); this.subPropertyConverter_ = new ElkAxiomConverterImpl(elkFactory, ontologyIndex); this.traceState_ = new TraceState(config, saturationState, propertyHierarchyCompositionState_, elkFactory, ontologyIndex); this.classExpressionQueryState_ = new ClassExpressionQueryState(config, saturationState, elkFactory, ontologyIndex, factory_); this.entailmentQueryState_ = new EntailmentQueryState(config, saturationState, consistencyCheckingState, factory_, incompleteness_); }
reasoner.ontologyIndex.getAddedClasses(), reasoner.ontologyIndex.getAddedIndividuals())) { IndexedClassExpression ice = newEntity .accept(new ElkEntityVisitor<IndexedClassExpression>() { changedInitRules = diffIndex.getAddedContextInitRules(); changedRulesByCE = diffIndex.getAddedContextRulesByClassExpressions(); changedDefinitions = diffIndex.getAddedDefinitions(); changedDefinitionReasons = diffIndex.getAddedDefinitionReasons();
@Override public boolean addContextInitRule(ChainableContextInitRule newRule) { if (!incrementalMode) { return super.addContextInitRule(newRule); } // else incrementalMode if (newRule.removeFrom(getRemovedContextInitRuleChain())) { if (newRule.addTo(getContextInitRuleChain())) return true; // else revert newRule.addTo(getRemovedContextInitRuleChain()); } // if above fails return newRule.addTo(getAddedContextInitRuleChain()); }
/** * Sets the incremental mode for this {@code DifferentialIndex}. * * @param incremental * if {@code true}, deletions and additions to this indexed are * stored separately; if {@code false} all changes are * immediately applied to the index. */ public void setIncrementalMode(boolean incremental) { if (this.incrementalMode == incremental) // already set return; LOGGER_.trace("set incremental mode: " + incremental); this.incrementalMode = incremental; if (!incremental) { clearDeletedRules(); commitAddedRules(); initClassChanges(); initIndividualChanges(); } }
@Override public boolean postExecute() { if (!super.postExecute()) return false; reasoner.ontologyIndex.commitAddedRules(); reasoner.ontologyIndex.initClassChanges(); reasoner.ontologyIndex.initIndividualChanges(); return true; }
@Override public boolean add(ModifiableIndexedClassExpression target, ChainableSubsumerRule newRule) { if (!incrementalMode) { return super.add(target, newRule); } // else incrementalMode if (newRule.removeFrom(getRemovedContextRuleChain(target))) { if (newRule.addTo(target.getCompositionRuleChain())) return true; // else revert newRule.addTo(getRemovedContextRuleChain(target)); } // if above fails return newRule.addTo(getAddedContextRuleChain(target)); }