@Override public boolean preExecute() { if (!super.preExecute()) return false; completion_ = new ClassExpressionSaturationNoInput( reasoner.getProcessExecutor(), workerNo, new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState), ContextModificationListener.DUMMY); return true; }
activeContext, getSaturationState()), getSaturationState().getOntologyIndex() .getContextInitRuleHead(), ruleVisitor, writer)),
activeContext, getSaturationState()), getSaturationState().getOntologyIndex() .getContextInitRuleHead(), ruleVisitor, writer)),
public TestClassExpressionSaturation(final InterruptMonitor interrupter, ConcurrentExecutor executor, int maxWorkers, SaturationState<?> saturationState) { super(new ClassExpressionSaturationFactory<J>( new RuleApplicationAdditionFactory<RuleApplicationInput>( interrupter, saturationState), maxWorkers), executor, maxWorkers); }
activeContext, getSaturationState()), getSaturationState().getOntologyIndex() .getContextInitRuleHead(), ruleVisitor, writer)),
@Override public boolean preExecute() { if (!super.preExecute()) return false; completion_ = new ClassExpressionSaturationNoInput( reasoner.getProcessExecutor(), workerNo, new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState), ContextModificationListener.DUMMY); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) return false; completion_ = new ClassExpressionSaturationNoInput( reasoner.getProcessExecutor(), workerNo, new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState), ContextModificationListener.DUMMY); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) return false; this.computation = new ClassExpressionSaturation<IndexedClassEntity>( reasoner.consistencyCheckingState.getTestEntitites(), reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState)); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) return false; this.computation = new ClassExpressionSaturation<IndexedClassEntity>( reasoner.consistencyCheckingState.getTestEntitites(), reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState)); return true; }
/** * 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()); }
@Override public boolean preExecute() { if (!super.preExecute()) return false; this.computation = new ClassExpressionSaturation<IndexedClassEntity>( reasoner.consistencyCheckingState.getTestEntitites(), reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState)); return true; }
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); } }
/** * 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()); }
@Override public boolean preExecute() { if (!super.preExecute()) { return false; } final Collection<IndexedContextRoot> queries = reasoner.entailmentQueryState_ .getNotSaturatedPositivelyIndexedRoots(); final Collection<? extends IndexedClassEntity> consistencyTestEntities = reasoner.consistencyCheckingState .getTestEntitites(); @SuppressWarnings("unchecked") final Collection<IndexedContextRoot> inputs = Operations.getCollection( Operations.concat(queries, consistencyTestEntities), queries.size() + consistencyTestEntities.size()); this.computation_ = new ClassExpressionSaturation<IndexedContextRoot>( inputs, reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState)); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) return false; RuleApplicationFactory<Context, RuleApplicationInput> ruleFactory = null; ruleFactory = new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState); this.computation_ = new ClassExpressionSaturation<IndexedClass>( reasoner.ontologyIndex.getClasses(), reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), ruleFactory); LOGGER_.info("{} using {} workers", this, workerNo); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) { return false; } final Collection<IndexedContextRoot> queries = reasoner.entailmentQueryState_ .getNotSaturatedPositivelyIndexedRoots(); final Collection<? extends IndexedClassEntity> consistencyTestEntities = reasoner.consistencyCheckingState .getTestEntitites(); @SuppressWarnings("unchecked") final Collection<IndexedContextRoot> inputs = Operations.getCollection( Operations.concat(queries, consistencyTestEntities), queries.size() + consistencyTestEntities.size()); this.computation_ = new ClassExpressionSaturation<IndexedContextRoot>( inputs, reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState)); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) { return false; } final Collection<IndexedContextRoot> queries = reasoner.entailmentQueryState_ .getNotSaturatedPositivelyIndexedRoots(); final Collection<? extends IndexedClassEntity> consistencyTestEntities = reasoner.consistencyCheckingState .getTestEntitites(); @SuppressWarnings("unchecked") final Collection<IndexedContextRoot> inputs = Operations.getCollection( Operations.concat(queries, consistencyTestEntities), queries.size() + consistencyTestEntities.size()); this.computation_ = new ClassExpressionSaturation<IndexedContextRoot>( inputs, reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState)); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) return false; RuleApplicationFactory<Context, RuleApplicationInput> ruleFactory = null; ruleFactory = new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState); this.computation_ = new ClassExpressionSaturation<IndexedClass>( reasoner.ontologyIndex.getClasses(), reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), ruleFactory); LOGGER_.info("{} using {} workers", this, workerNo); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) return false; RuleApplicationFactory<Context, RuleApplicationInput> ruleFactory = null; ruleFactory = new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState); this.computation_ = new ClassExpressionSaturation<IndexedClass>( reasoner.ontologyIndex.getClasses(), reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), ruleFactory); LOGGER_.info("{} using {} workers", this, workerNo); return true; }