public Reasoner createReasoner(final Reasoner reasoner, final ElkObject.Factory elkFactory, final ReasonerConfiguration config) { return createReasoner(elkFactory, reasoner.getInterrupter(), reasoner.getStageExecutor(), config); }
Reasoner createReasoner(ElkObject.Factory elkFactory, AxiomLoader.Factory axiomLoaderFactory, final ReasonerInterrupter interrupter, ReasonerStageExecutor stageExecutor, ReasonerConfiguration config) { final Reasoner reasoner = createReasoner(elkFactory, interrupter, stageExecutor, config); reasoner.registerAxiomLoader(axiomLoaderFactory); return reasoner; }
private boolean processNextInput() throws InterruptedException { if (!submit(nextInput)) { waitWorkers(); return false; } nextInput = null; if (isInterrupted()) { waitWorkers(); return false; } progressMonitor.report(++progress, maxProgress); return true; } }
public static Reasoner createTestReasoner( final ReasonerInterrupter interrupter, final ReasonerConfiguration config) { return new ReasonerFactory().createReasoner(interrupter, DEFAULT_STAGE_EXECUTOR, config); }
public ElkProofGenerator(final Proof<? extends EntailmentInference> evidence, final Reasoner reasoner, final ElkInference.Factory inferenceFactory) { this(evidence, reasoner, reasoner.getElkFactory(), inferenceFactory); }
/** * Tries to shut down the reasoner within 1 minute * * @return {@code true} if the operation was successful * @throws InterruptedException * if the current thread was interrupted */ public synchronized boolean shutdown() throws InterruptedException { return shutdown(1, TimeUnit.MINUTES); }
@Override public TaxonomyTestOutput<?> getActualOutput() throws Exception { final Taxonomy<ElkClass> taxonomy = getReasoner() .getTaxonomyQuietly(); return new TaxonomyTestOutput<Taxonomy<ElkClass>>(taxonomy); }
@Override public InstanceTaxonomyTestOutput<?> getActualOutput() throws Exception { final InstanceTaxonomy<ElkClass, ElkNamedIndividual> taxonomy = getReasoner() .getInstanceTaxonomyQuietly(); return new InstanceTaxonomyTestOutput<InstanceTaxonomy<ElkClass, ElkNamedIndividual>>( taxonomy); }
public Reasoner createReasoner(AxiomLoader.Factory axiomLoaderFactory, ReasonerConfiguration config) { return createReasoner(axiomLoaderFactory, DEFAULT_INTERRUPTER, DEFAULT_STAGE_EXECUTOR, config); }
@Override protected void loadOntology(Reasoner reasoner) throws ElkException { //long ts = System.currentTimeMillis(); reasoner.ensureLoading(); //System.out.println((System.currentTimeMillis() - ts) + " loading done"); }
Reasoner createReasoner(final ElkObject.Factory elkFactory, final ReasonerInterrupter interrupter, final ReasonerStageExecutor stageExecutor, final ReasonerConfiguration config) { return new Reasoner(elkFactory, interrupter, stageExecutor, config); }
@Override public TaxonomyTestOutput<?> getActualOutput() throws Exception { final Taxonomy<ElkObjectProperty> taxonomy = getReasoner() .getObjectPropertyTaxonomyQuietly(); return new TaxonomyTestOutput<Taxonomy<ElkObjectProperty>>( taxonomy); }
public Reasoner createReasoner(final Reasoner reasoner, final ElkObject.Factory elkFactory, final ReasonerConfiguration config) { return createReasoner(elkFactory, reasoner.getInterrupter(), reasoner.getStageExecutor(), config); }
private boolean processNextInput() throws InterruptedException { if (!submit(nextInput)) { waitWorkers(); return false; } nextInput = null; if (isInterrupted()) { waitWorkers(); return false; } progressMonitor.report(++progress, maxProgress); return true; } }
Reasoner createReasoner(ElkObject.Factory elkFactory, AxiomLoader.Factory axiomLoaderFactory, final ReasonerInterrupter interrupter, ReasonerStageExecutor stageExecutor, ReasonerConfiguration config) { final Reasoner reasoner = createReasoner(elkFactory, interrupter, stageExecutor, config); reasoner.registerAxiomLoader(axiomLoaderFactory); return reasoner; }
public ElkProofGenerator(final Proof<? extends EntailmentInference> evidence, final Reasoner reasoner, final ElkInference.Factory inferenceFactory) { this(evidence, reasoner, reasoner.getElkFactory(), inferenceFactory); }
public Reasoner createReasoner(final Reasoner reasoner, final ElkObject.Factory elkFactory, final ReasonerConfiguration config) { return createReasoner(elkFactory, reasoner.getInterrupter(), reasoner.getStageExecutor(), config); }
private boolean processNextInput() throws InterruptedException { if (!submit(nextInput)) { waitWorkers(); return false; } nextInput = null; if (isInterrupted()) { waitWorkers(); return false; } progressMonitor.report(++progress, maxProgress); return true; } }
Reasoner createReasoner(ElkObject.Factory elkFactory, AxiomLoader.Factory axiomLoaderFactory, final ReasonerInterrupter interrupter, ReasonerStageExecutor stageExecutor, ReasonerConfiguration config) { final Reasoner reasoner = createReasoner(elkFactory, interrupter, stageExecutor, config); reasoner.registerAxiomLoader(axiomLoaderFactory); return reasoner; }
public ElkProofGenerator(final Proof<? extends EntailmentInference> evidence, final Reasoner reasoner, final ElkInference.Factory inferenceFactory) { this(evidence, reasoner, reasoner.getElkFactory(), inferenceFactory); }