@Override public boolean preExecute() { if (!super.preExecute()) { return false; } RuleApplicationFactory<?, RuleApplicationInput> ruleAppFactory = new RuleApplicationAdditionPruningFactory( reasoner.getInterrupter(), reasoner.saturationState); Collection<IndexedContextRoot> inputs = new ContextRootCollection( reasoner.saturationState.getNotSaturatedContexts()); completion_ = new ClassExpressionSaturation<IndexedContextRoot>(inputs, reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), ruleAppFactory); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) { return false; } RuleApplicationFactory<?, RuleApplicationInput> ruleAppFactory = new RuleApplicationAdditionPruningFactory( reasoner.getInterrupter(), reasoner.saturationState); Collection<IndexedContextRoot> inputs = new ContextRootCollection( reasoner.saturationState.getNotSaturatedContexts()); completion_ = new ClassExpressionSaturation<IndexedContextRoot>(inputs, reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), ruleAppFactory); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) { return false; } RuleApplicationFactory<?, RuleApplicationInput> ruleAppFactory = new RuleApplicationAdditionPruningFactory( reasoner.getInterrupter(), reasoner.saturationState); Collection<IndexedContextRoot> inputs = new ContextRootCollection( reasoner.saturationState.getNotSaturatedContexts()); completion_ = new ClassExpressionSaturation<IndexedContextRoot>(inputs, reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), ruleAppFactory); return true; }