@Override public void finish() { checkStatistics(); }
@Override public void finish() { saturationFactory_.finish(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return saturationFactory_.getRuleAndConclusionStatistics(); }
if (isInterrupted()) { wakeUpWorkers(); return; if (updateIfSmaller(countContextsSaturatedLower_, snapshotCountContextNonSaturated)) { wakeUpWorkers(); updateIfSmaller(countJobsProcessedLower_, snapshotCountJobsSubmitted);
public ClassExpressionSaturation(Collection<? extends I> inputs, ConcurrentExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, RuleApplicationFactory<?, RuleApplicationInput> ruleAppFactory, ClassExpressionSaturationListener<SaturationJob<I>> listener) { super(new TodoJobs<I>(inputs), new ClassExpressionSaturationFactory<SaturationJob<I>>( ruleAppFactory, maxWorkers, listener), executor, maxWorkers, progressMonitor); }
/** * Print statistics about the saturation computation */ public void printStatistics() { processorFactory.printStatistics(); }
@Override public boolean isInterrupted() { return saturationFactory_.isInterrupted(); }
if (isInterrupted()) { wakeUpWorkers(); return; if (updateIfSmaller(countContextsSaturatedLower_, snapshotCountContextNonSaturated)) { wakeUpWorkers(); updateIfSmaller(countJobsProcessedLower_, snapshotCountJobsSubmitted);
public ClassExpressionSaturation(Collection<? extends I> inputs, ConcurrentExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, RuleApplicationFactory<?, RuleApplicationInput> ruleAppFactory, ClassExpressionSaturationListener<SaturationJob<I>> listener) { super(new TodoJobs<I>(inputs), new ClassExpressionSaturationFactory<SaturationJob<I>>( ruleAppFactory, maxWorkers, listener), executor, maxWorkers, progressMonitor); }
/** * Print statistics about the saturation computation */ public void printStatistics() { processorFactory.printStatistics(); }
@Override public boolean isInterrupted() { return saturationFactory_.isInterrupted(); }
if (isInterrupted()) { wakeUpWorkers(); return; if (updateIfSmaller(countContextsSaturatedLower_, snapshotCountContextNonSaturated)) { wakeUpWorkers(); updateIfSmaller(countJobsProcessedLower_, snapshotCountJobsSubmitted);
public ClassExpressionSaturation(Collection<? extends I> inputs, ConcurrentExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, RuleApplicationFactory<?, RuleApplicationInput> ruleAppFactory, ClassExpressionSaturationListener<SaturationJob<I>> listener) { super(new TodoJobs<I>(inputs), new ClassExpressionSaturationFactory<SaturationJob<I>>( ruleAppFactory, maxWorkers, listener), executor, maxWorkers, progressMonitor); }
/** * Print statistics about the transitive reduction stage */ public void printStatistics() { saturationFactory_.printStatistics(); }
public SaturationStatistics getRuleAndConclusionStatistics() { return processorFactory.getRuleAndConclusionStatistics(); }
@Override public void finish() { saturationFactory_.finish(); }
@Override public boolean isInterrupted() { return saturationFactory_.isInterrupted(); }
@Override public void finish() { checkStatistics(); }
/** * Creating a new transitive reduction engine for the input ontology index * and a listener for executing callback functions. * * @param saturationState * the saturation state of the reasoner * @param maxWorkers * the maximum number of workers that can use this factory * @param listener * the listener object implementing callback functions for this * engine */ public TransitiveReductionFactory(final InterruptMonitor interrupter, SaturationState<?> saturationState, int maxWorkers, TransitiveReductionListener<J> listener) { this.listener_ = listener; this.auxJobQueue_ = new ConcurrentLinkedQueue<SaturationJobSuperClass<R, J>>(); this.jobsWithSaturatedRoot_ = new ConcurrentLinkedQueue<J>(); this.saturationState_ = saturationState; this.saturationFactory_ = new ClassExpressionSaturationFactory<SaturationJobForTransitiveReduction<R, ?, J>>( new RuleApplicationAdditionFactory<RuleApplicationInput>( interrupter, saturationState), maxWorkers, new ThisClassExpressionSaturationListener()); this.owlThing_ = saturationState.getOntologyIndex().getOwlThing(); this.defaultTopOutput_ = new ArrayList<ElkClass>(1); defaultTopOutput_.add(owlThing_.getElkEntity()); }
/** * Print statistics about the transitive reduction stage */ public void printStatistics() { saturationFactory_.printStatistics(); }