@Override public void print(final Taxonomy<T> taxonomy) { print(taxonomy, new PrintWriter(System.out)); }
@Override public void print(final Taxonomy<T> taxonomy) { print(taxonomy, new PrintWriter(System.out)); }
@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)); } } };
new TreeTaxonomyPrinter<OWLClass>().print(_taxonomyImpl, new PrintWriter(System.err));
new TreeTaxonomyPrinter<OWLClass>().print(_taxonomyImpl, new PrintWriter(System.err));