@Override protected SaturationStateWriter<? extends Context> getBaseWriter( ContextCreationListener creationListener, ContextModificationListener modificationListener) { // writer cannot create new contexts return getSaturationState() .getContextModifyingWriter(modificationListener); }
@Override public boolean preExecute() { if (!super.preExecute()) return false; desaturation_ = new ClassExpressionSaturationNoInput( reasoner.getProcessExecutor(), workerNo, new RuleApplicationDeletionFactory(reasoner.getInterrupter(), reasoner.saturationState), ContextModificationListener.DUMMY); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) return false; desaturation_ = new ClassExpressionSaturationNoInput( reasoner.getProcessExecutor(), workerNo, new RuleApplicationDeletionFactory(reasoner.getInterrupter(), reasoner.saturationState), ContextModificationListener.DUMMY); return true; }
@Override protected SaturationStateWriter<? extends Context> getBaseWriter( ContextCreationListener creationListener, ContextModificationListener modificationListener) { // writer cannot create new contexts return getSaturationState() .getContextModifyingWriter(modificationListener); }
@Override public boolean preExecute() { if (!super.preExecute()) return false; desaturation_ = new ClassExpressionSaturationNoInput( reasoner.getProcessExecutor(), workerNo, new RuleApplicationDeletionFactory(reasoner.getInterrupter(), reasoner.saturationState), ContextModificationListener.DUMMY); return true; }
@Override protected SaturationStateWriter<Context> getFinalWriter( SaturationStateWriter<? extends Context> writer) { // only write to exiting contexts return new ContextExistenceCheckingWriter<Context>(writer, getSaturationState()); }
@Override protected SaturationStateWriter<Context> getFinalWriter( SaturationStateWriter<? extends Context> writer) { // only write to exiting contexts return new ContextExistenceCheckingWriter<Context>(writer, getSaturationState()); }
@Override protected SaturationStateWriter<Context> getFinalWriter( SaturationStateWriter<? extends Context> writer) { // only write to exiting contexts return new ContextExistenceCheckingWriter<Context>(writer, getSaturationState()); }
@Override protected SaturationStateWriter<? extends Context> getBaseWriter( ContextCreationListener creationListener, ContextModificationListener modificationListener) { // writer cannot create new contexts return getSaturationState() .getContextModifyingWriter(modificationListener); }
getSaturationState().getOntologyIndex() .getContextInitRuleHead(), ruleVisitor, writer),
getSaturationState().getOntologyIndex() .getContextInitRuleHead(), ruleVisitor, writer),
getSaturationState().getOntologyIndex() .getContextInitRuleHead(), ruleVisitor, writer),