private void incrementalClassify() { _timers.execute("incrementalClassify", x -> incClassifyAllModStrategy()); }
private void incrementalClassify() { _timers.execute("incrementalClassify", x -> incClassifyAllModStrategy()); }
@Override public void run() { _timers.execute("reasonerClassify", x -> { // classify ontology _reasoner.flush(); _reasoner.getKB().classify(); }); if (_logger.isLoggable(Level.FINE)) { _logger.fine("Regular taxonomy:"); new TreeTaxonomyPrinter<ATermAppl>().print(_reasoner.getKB().getTaxonomy(), new PrintWriter(System.err)); } _taxonomyImpl = _timers.execute("buildClassHierarchy", () -> buildClassHierarchy(_reasoner)); if (_logger.isLoggable(Level.FINE)) { _logger.fine("Copied taxonomy:"); new TreeTaxonomyPrinter<OWLClass>().print(_taxonomyImpl, new PrintWriter(System.err)); } } };
@Override public void run() { _timers.execute("reasonerClassify", x -> { // classify ontology _reasoner.flush(); _reasoner.getKB().classify(); }); if (_logger.isLoggable(Level.FINE)) { _logger.fine("Regular taxonomy:"); new TreeTaxonomyPrinter<ATermAppl>().print(_reasoner.getKB().getTaxonomy(), new PrintWriter(System.err)); } _taxonomyImpl = _timers.execute("buildClassHierarchy", () -> buildClassHierarchy(_reasoner)); if (_logger.isLoggable(Level.FINE)) { _logger.fine("Copied taxonomy:"); new TreeTaxonomyPrinter<OWLClass>().print(_taxonomyImpl, new PrintWriter(System.err)); } } };
/** * {@inheritDoc} */ @Override public synchronized boolean classify() { _logger.fine("Reset"); reset(); timers.execute("createConcepts", t -> createConcepts()); final int queueSize = _primaryQueue.size(); _monitor.setProgressTitle("Classifiying"); _monitor.setProgressLength(queueSize); _monitor.taskStarted(); timers.execute("processQueue", t -> processQueue()); if (_logger.isLoggable(Level.FINER)) print(); _monitor.setProgress(queueSize); _taxonomyImpl = timers.execute("buildHierarchy", () -> new ELTaxonomyBuilder().build(_concepts)); _monitor.taskFinished(); return true; }
/** * {@inheritDoc} */ @Override public synchronized boolean classify() { _logger.fine("Reset"); reset(); timers.execute("createConcepts", t -> createConcepts()); final int queueSize = _primaryQueue.size(); _monitor.setProgressTitle("Classifiying"); _monitor.setProgressLength(queueSize); _monitor.taskStarted(); timers.execute("processQueue", t -> processQueue()); if (_logger.isLoggable(Level.FINER)) print(); _monitor.setProgress(queueSize); _taxonomyImpl = timers.execute("buildHierarchy", () -> new ELTaxonomyBuilder().build(_concepts)); _monitor.taskFinished(); return true; }
public KnowledgeBase loadData(final String[] dataset) { { final Optional<Timer> timer = _timers.startTimer("parse"); _loader.parse(dataset); _model = _loader.getModel(); System.out.println(); System.out.println("Triples : " + _model.getBaseModel().size()); timer.ifPresent(t -> t.stop()); } final KnowledgeBase kb = _loader.getKB(); _timers.execute("load", x -> _model.prepare()); ProfileUtils.printCounts(kb); _timers.execute("consistency", x -> kb.isConsistent()); ProfileUtils.printCounts(kb.getABox()); if (_classify) { _timers.execute("classify", x -> kb.classify()); } if (_realize) { _timers.execute("realize", x -> kb.realize()); } return kb; }
final Set<Set<OWLAxiom>> explanations = _timers.execute("explain", () -> expGen.getExplanations(unsatClass, _maxExplanations));
isType = _kb.getTimers().execute("classifyType", () -> _kb.isType(n, c)); marked.put(c, isType);
isType = _kb.getTimers().execute("classifyType", () -> _kb.isType(n, c)); marked.put(c, isType);
_kb.getTimers().execute("taxBuilder.prepare", t -> prepare());
_kb.getTimers().execute("taxBuilder.prepare", t -> prepare());
_kb.getTimers().execute("complete", timers -> incStrategy.complete(_kb.getExpressivityChecker().getExpressivity()));
_kb.getTimers().execute("complete", timers -> incStrategy.complete(_kb.getExpressivityChecker().getExpressivity()));
_kb.getTimers().execute("complete", timers -> strategy.complete(expr));
_timers.execute("sizeEstimateAll", x -> kb.getSizeEstimate().computeAll());
final boolean isEq = _kb.getTimers().execute("eqCheck", () -> subsumes(c, sup)); if (isEq)
final boolean isEq = _kb.getTimers().execute("eqCheck", () -> subsumes(c, sup)); if (isEq)