@Override public synchronized String getReasonerName() { return r.getReasonerName(); }
@Override public String getReasonerName() { return delegate_.getReasonerName(); }
@Override public String getReasonerName() { return delegate_.getReasonerName(); }
public String getReasonerName() { return reasoner.getReasonerName(); }
@Override public String getReasonerName() { return delegate_.getReasonerName(); }
public static boolean isStructural(OWLReasoner r) { return r!=null && "Structural Reasoner".equals(r.getReasonerName()); } }
private void clearAndDisposeReasoners() { for (OWLReasoner reasoner : reasonerMap.values()) { if (reasoner != null) { try { reasoner.dispose(); } catch (Throwable t) { logger.warn("An error occurred whilst disposing of the '{}' reasoner. Error: {}", reasoner.getReasonerName(), t); } } } reasonerMap.clear(); }
private void clearAndDisposeReasoners() { for (OWLReasoner reasoner : reasonerMap.values()) { if (reasoner != null) { try { reasoner.dispose(); } catch (Throwable t) { logger.warn("An error occurred whilst disposing of the '{}' reasoner. Error: {}", reasoner.getReasonerName(), t); } } } reasonerMap.clear(); }
public String getCurrentReasonerName() { return getCurrentReasoner().getReasonerName(); }
public String getCurrentReasonerName() { return getCurrentReasoner().getReasonerName(); }
public String getCurrentReasonerName() { return getCurrentReasoner().getReasonerName(); }
public String getCurrentReasonerName() { return getCurrentReasoner().getReasonerName(); }
public void killCurrentReasoner() { OWLReasoner reasoner = getCurrentReasoner(); if (!(reasoner instanceof NoOpReasoner)) { try { reasoner.dispose(); } catch (Exception ex) { logger.warn("An error occurred whilst disposing of the current reasoner ({}). Error: {}", reasoner.getReasonerName(), ex); } synchronized (reasonerMap) { reasonerMap.put(owlModelManager.getActiveOntology(), null); } } }
protected Stream<OWLAxiom> generate(OWLDataFactory df, InferredAxiomGenerator<? extends OWLAxiom> g) { try { return g.createAxioms(df, reasoner).stream().map(x -> x); } catch (Exception e) { logger.warn("Error generating {} axioms using {}, version {}", g.getLabel(), reasoner.getReasonerName(), reasoner.getReasonerVersion(), e); return empty(); } } }
public void killCurrentReasoner() { OWLReasoner reasoner = getCurrentReasoner(); if (!(reasoner instanceof NoOpReasoner)) { try { reasoner.dispose(); } catch (Exception ex) { logger.warn("An error occurred whilst disposing of the current reasoner ({}). Error: {}", reasoner.getReasonerName(), ex); } synchronized (reasonerMap) { reasonerMap.put(owlModelManager.getActiveOntology(), null); } } }
protected Stream<OWLAxiom> generate(OWLDataFactory df, InferredAxiomGenerator<? extends OWLAxiom> g) { try { return g.createAxioms(df, reasoner).stream().map(x -> x); } catch (Exception e) { logger.warn("Error generating {} axioms using {}, version {}", g.getLabel(), reasoner.getReasonerName(), reasoner.getReasonerVersion(), e); return empty(); } } }
protected Stream<OWLAxiom> generate(OWLDataFactory df, InferredAxiomGenerator<? extends OWLAxiom> g) { try { return g.createAxioms(df, reasoner).stream().map(x -> x); } catch (Exception e) { logger.warn("Error generating {} axioms using {}, version {}", g.getLabel(), reasoner.getReasonerName(), reasoner.getReasonerVersion(), e); return empty(); } } }
if (runningReasoner != null) { precompute(); logger.info("Ontologies processed in {} ms by {}", stopwatch.elapsed(TimeUnit.MILLISECONDS), runningReasoner.getReasonerName());
if (runningReasoner != null) { precompute(); logger.info("Ontologies processed in {} ms by {}", stopwatch.elapsed(TimeUnit.MILLISECONDS), runningReasoner.getReasonerName());
logger.info("Loaded reasoner: " + reasoner.getReasonerName() + " (" + reasoner.getClass().getName() + ")");