public void consistency() throws TimeoutException { System.out.println("Consistency Timeout: " + Timeouts.CONSISTENCY + "ms"); System.out.print("Checking consistency..."); model.prepare(); System.out.println("finished in " + timers.getTimer("isConsistent").get().getLast()); System.out.println(); }
public void consistency() throws TimeoutException { System.out.println("Consistency Timeout: " + Timeouts.CONSISTENCY + "ms"); System.out.print("Checking consistency..."); model.prepare(); System.out.println("finished in " + timers.getTimer("isConsistent").get().getLast()); System.out.println(); }
@Override public void taskFinished() { super.taskFinished(); setProgress(_progressLength); _out.println(); _out.print(_progressTitle); _out.print(" finished in "); _out.println(DurationFormat.SHORT.format(_timer.getLast())); }
@Override public void taskFinished() { super.taskFinished(); setProgress(_progressLength); _out.println(); _out.print(_progressTitle); _out.print(" finished in "); _out.println(DurationFormat.SHORT.format(_timer.getLast())); }
public void classify() { System.out.println("Classify Timeout: " + Timeouts.CLASSIFY + "ms"); System.out.print("Classifying..."); try { ((PelletInfGraph) model.getGraph()).classify(); System.out.println("finished in " + timers.getTimer("classify").get().getLast() + "ms"); } catch (final TimeoutException e) { Log.error(_logger, e); System.out.println("interrupted after " + timers.getTimer("classify").get().getElapsed() + "ms"); } System.out.println("Classified: " + openllet.isClassified()); System.out.println(); }
public void classify() { System.out.println("Classify Timeout: " + Timeouts.CLASSIFY + "ms"); System.out.print("Classifying..."); try { ((PelletInfGraph) model.getGraph()).classify(); System.out.println("finished in " + timers.getTimer("classify").get().getLast() + "ms"); } catch (final TimeoutException e) { Log.error(_logger, e); System.out.println("interrupted after " + timers.getTimer("classify").get().getElapsed() + "ms"); } System.out.println("Classified: " + openllet.isClassified()); System.out.println(); }
public void realize() { // realization can only be done if classification is completed if (!openllet.isClassified()) return; System.out.println("Realize Timeout: " + Timeouts.REALIZE + "ms"); System.out.print("Realizing..."); try { openllet.realize(); System.out.println("finished in " + timers.getTimer("realize").get().getLast() + "ms"); } catch (final TimeoutException e) { Log.error(_logger, e); System.out.println("interrupted after " + timers.getTimer("realize").get().getElapsed() + "ms"); } System.out.println("Realized: " + openllet.isRealized()); System.out.println(); }
public void realize() { // realization can only be done if classification is completed if (!openllet.isClassified()) return; System.out.println("Realize Timeout: " + Timeouts.REALIZE + "ms"); System.out.print("Realizing..."); try { openllet.realize(); System.out.println("finished in " + timers.getTimer("realize").get().getLast() + "ms"); } catch (final TimeoutException e) { Log.error(_logger, e); System.out.println("interrupted after " + timers.getTimer("realize").get().getElapsed() + "ms"); } System.out.println("Realized: " + openllet.isRealized()); System.out.println(); }
private TaxonomyNode<ATermAppl> checkSatisfiability(final ATermAppl c) { _logger.finer("Satisfiable "); final Optional<Timer> timer = _kb.getTimers().startTimer("classifySat"); boolean isSatisfiable = _kb.getABox().isSatisfiable(c, true); timer.ifPresent(t -> t.stop()); if (_logger.isLoggable(Level.FINER) && timer.isPresent()) _logger.finer((isSatisfiable ? "true" : "*****FALSE*****") + " (" + timer.get().getLast() + "ms)"); if (!isSatisfiable) _taxonomyImpl.addEquivalentNode(c, _taxonomyImpl.getBottomNode()); if (OpenlletOptions.USE_CACHING) { if (_logger.isLoggable(Level.FINER)) _logger.finer("...negation "); final Optional<Timer> timer2 = _kb.getTimers().startTimer("classifySatNot"); final ATermAppl notC = ATermUtils.makeNot(c); isSatisfiable = _kb.getABox().isSatisfiable(notC, true); timer2.ifPresent(t -> t.stop()); if (!isSatisfiable) _taxonomyImpl.addEquivalentNode(c, _taxonomyImpl.getTop()); if (_logger.isLoggable(Level.FINER) && timer2.isPresent()) _logger.finer(isSatisfiable + " (" + timer2.get().getLast() + "ms)"); } return _taxonomyImpl.getNode(c); }
private TaxonomyNode<ATermAppl> checkSatisfiability(final ATermAppl c) { _logger.finer("Satisfiable "); final Optional<Timer> timer = _kb.getTimers().startTimer("classifySat"); boolean isSatisfiable = _kb.getABox().isSatisfiable(c, true); timer.ifPresent(t -> t.stop()); if (_logger.isLoggable(Level.FINER) && timer.isPresent()) _logger.finer((isSatisfiable ? "true" : "*****FALSE*****") + " (" + timer.get().getLast() + "ms)"); if (!isSatisfiable) _taxonomyImpl.addEquivalentNode(c, _taxonomyImpl.getBottomNode()); if (OpenlletOptions.USE_CACHING) { if (_logger.isLoggable(Level.FINER)) _logger.finer("...negation "); final Optional<Timer> timer2 = _kb.getTimers().startTimer("classifySatNot"); final ATermAppl notC = ATermUtils.makeNot(c); isSatisfiable = _kb.getABox().isSatisfiable(notC, true); timer2.ifPresent(t -> t.stop()); if (!isSatisfiable) _taxonomyImpl.addEquivalentNode(c, _taxonomyImpl.getTop()); if (_logger.isLoggable(Level.FINER) && timer2.isPresent()) _logger.finer(isSatisfiable + " (" + timer2.get().getLast() + "ms)"); } return _taxonomyImpl.getNode(c); }
/** * {@inheritDoc} */ @Override public QueryResult exec(final Query query) { _logger.fine(() -> "Executing query " + query); final Timer timer = new Timer("CombinedQueryEngine"); timer.start(); prepare(query); branches = 0; exec(new ResultBindingImpl()); timer.stop(); _logger.fine(() -> "#B=" + branches + ", time=" + timer.getLast() + " ms."); return _result; }
/** * {@inheritDoc} */ @Override public QueryResult exec(final Query query) { _logger.fine(() -> "Executing query " + query); final Timer timer = new Timer("CombinedQueryEngine"); timer.start(); prepare(query); branches = 0; exec(new ResultBindingImpl()); timer.stop(); _logger.fine(() -> "#B=" + branches + ", time=" + timer.getLast() + " ms."); return _result; }
/** * {@inheritDoc} */ @Override public QueryResult exec(final Query query) { _logger.fine(() -> "Executing query " + query); final Timer timer = new Timer("CombinedQueryEngine"); timer.start(); prepare(query); branches = 0; exec(new ResultBindingImpl()); timer.stop(); _logger.fine(() -> "#B=" + branches + ", time=" + timer.getLast() + " ms."); return _result; }
@Override public boolean isSubClassOf(final ATermAppl c1, final ATermAppl c2) { if (!_doExplanation) { final Bool isKnownSubClass = isKnownSubClassOf(c1, c2); if (isKnownSubClass.isKnown()) return isKnownSubClass.isTrue(); } if (_logger.isLoggable(Level.FINE)) { final long count = _kb.getTimers().getTimer("subClassSat").map(t -> t.getCount()).orElse(0L); _logger.fine(count + ") Checking subclass [" + ATermUtils.toString(c1) + " " + ATermUtils.toString(c2) + "]"); } final ATermAppl notC2 = ATermUtils.negate(c2); final ATermAppl c = ATermUtils.makeAnd(c1, notC2); final Optional<Timer> timer = _kb.getTimers().startTimer("subClassSat"); final boolean sub = !isSatisfiable(c, false); timer.ifPresent(t -> t.stop()); _logger.fine(() -> " Result: " + sub + timer.map(t -> " (" + t.getLast() + "ms)").orElse("")); return sub; }
@Override public boolean isSubClassOf(final ATermAppl c1, final ATermAppl c2) { if (!_doExplanation) { final Bool isKnownSubClass = isKnownSubClassOf(c1, c2); if (isKnownSubClass.isKnown()) return isKnownSubClass.isTrue(); } if (_logger.isLoggable(Level.FINE)) { final long count = _kb.getTimers().getTimer("subClassSat").map(t -> t.getCount()).orElse(0L); _logger.fine(count + ") Checking subclass [" + ATermUtils.toString(c1) + " " + ATermUtils.toString(c2) + "]"); } final ATermAppl notC2 = ATermUtils.negate(c2); final ATermAppl c = ATermUtils.makeAnd(c1, notC2); final Optional<Timer> timer = _kb.getTimers().startTimer("subClassSat"); final boolean sub = !isSatisfiable(c, false); timer.ifPresent(t -> t.stop()); _logger.fine(() -> " Result: " + sub + timer.map(t -> " (" + t.getLast() + "ms)").orElse("")); return sub; }
timer.ifPresent(t -> t.stop()); _logger.finer(() -> format("Built graph in %d ms", timer.map(t -> t.getLast()).orElse(0L)));
timer.ifPresent(t -> t.stop()); _logger.finer(() -> format("Built graph in %d ms", timer.map(t -> t.getLast()).orElse(0L)));
_logger.fine("Consistent: " + _consistent + " (" + timer.get().getLast() + "ms)");
_logger.fine("Consistent: " + _consistent + " (" + timer.get().getLast() + "ms)");
final double queryTime = timer.map(t -> t.getLast() / 1000.0).orElse(0.);