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); }
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); }
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); }
/** * 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()); }
/** * 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()); }
/** * 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()); }
public SingleContextTracingFactory(final TraceState tracingState, final InterruptMonitor interrupter, final SaturationState<?> saturationState, final int maxWorkers) { this.tracingState_ = tracingState; // applying all local rules, saving the inferences using the class // inference producer this.saturationFactory_ = new ClassExpressionSaturationFactory<SaturationJob<IndexedContextRoot>>( new ContextTracingRuleApplicationFactory(interrupter, saturationState, new ThisClassInferenceProducer()), maxWorkers, new ThisClassExpressionSaturationListener()); this.tracedInferences_ = new ConcurrentHashMap<IndexedContextRoot, Queue<ClassInference>>(); }
public TestClassExpressionSaturation(final InterruptMonitor interrupter, ConcurrentExecutor executor, int maxWorkers, SaturationState<?> saturationState) { super(new ClassExpressionSaturationFactory<J>( new RuleApplicationAdditionFactory<RuleApplicationInput>( interrupter, saturationState), maxWorkers), executor, maxWorkers); }
public SingleContextTracingFactory(final TraceState tracingState, final InterruptMonitor interrupter, final SaturationState<?> saturationState, final int maxWorkers) { this.tracingState_ = tracingState; // applying all local rules, saving the inferences using the class // inference producer this.saturationFactory_ = new ClassExpressionSaturationFactory<SaturationJob<IndexedContextRoot>>( new ContextTracingRuleApplicationFactory(interrupter, saturationState, new ThisClassInferenceProducer()), maxWorkers, new ThisClassExpressionSaturationListener()); this.tracedInferences_ = new ConcurrentHashMap<IndexedContextRoot, Queue<ClassInference>>(); }
public SingleContextTracingFactory(final TraceState tracingState, final InterruptMonitor interrupter, final SaturationState<?> saturationState, final int maxWorkers) { this.tracingState_ = tracingState; // applying all local rules, saving the inferences using the class // inference producer this.saturationFactory_ = new ClassExpressionSaturationFactory<SaturationJob<IndexedContextRoot>>( new ContextTracingRuleApplicationFactory(interrupter, saturationState, new ThisClassInferenceProducer()), maxWorkers, new ThisClassExpressionSaturationListener()); this.tracedInferences_ = new ConcurrentHashMap<IndexedContextRoot, Queue<ClassInference>>(); }
public TestClassExpressionSaturation(final InterruptMonitor interrupter, ConcurrentExecutor executor, int maxWorkers, OntologyIndex ontologyIndex) { super(new ClassExpressionSaturationFactory<J>( new RuleApplicationAdditionFactory<RuleApplicationInput>( interrupter, SaturationStateFactory .createSaturationState(ontologyIndex)), maxWorkers), executor, maxWorkers); } }