@Override protected String getResultHash(Reasoner reasoner) throws ElkException { InstanceTaxonomy<ElkClass, ElkNamedIndividual> taxonomy = reasoner .getInstanceTaxonomyQuietly(); return TaxonomyPrinter.getInstanceHashString(taxonomy); }
@Override protected void printResult(Reasoner reasoner, Logger logger, LogLevel level) throws IOException, ElkException { InstanceTaxonomy<ElkClass, ElkNamedIndividual> taxonomy = reasoner .getInstanceTaxonomyQuietly(); StringWriter writer = new StringWriter(); TaxonomyPrinter.dumpInstanceTaxomomy(taxonomy, writer, false); writer.flush(); LoggerWrap.log(logger, level, "INSTANCE TAXONOMY"); LoggerWrap.log(logger, level, writer.getBuffer().toString()); writer.close(); }
@Override public InstanceTaxonomyTestOutput<?> getActualOutput() throws Exception { LOGGER_.trace( "======= Computing Incremental Taxonomy ======="); final InstanceTaxonomy<ElkClass, ElkNamedIndividual> taxonomy = getIncrementalReasoner() .getInstanceTaxonomyQuietly(); return new InstanceTaxonomyTestOutput<InstanceTaxonomy<ElkClass, ElkNamedIndividual>>( taxonomy); }
@Override public InstanceTaxonomyTestOutput<?> getExpectedOutput() throws Exception { LOGGER_.trace( "======= Computing Expected Taxonomy ======="); final InstanceTaxonomy<ElkClass, ElkNamedIndividual> taxonomy = getStandardReasoner() .getInstanceTaxonomyQuietly(); return new InstanceTaxonomyTestOutput<InstanceTaxonomy<ElkClass, ElkNamedIndividual>>( taxonomy); }
@Override public InstanceTaxonomyTestOutput<?> getActualOutput() throws Exception { final InstanceTaxonomy<ElkClass, ElkNamedIndividual> taxonomy = getReasoner() .getInstanceTaxonomyQuietly(); return new InstanceTaxonomyTestOutput<InstanceTaxonomy<ElkClass, ElkNamedIndividual>>( taxonomy); }
} catch (final ElkInconsistentOntologyException e) { final TypeNode<ElkClass, ElkNamedIndividual> node = getInstanceTaxonomyQuietly() .getBottomNode(); return direct ? node.getDirectInstanceNodes()
} catch (final ElkInconsistentOntologyException e) { final TypeNode<ElkClass, ElkNamedIndividual> node = getInstanceTaxonomyQuietly() .getBottomNode(); return direct ? node.getDirectInstanceNodes()
} catch (final ElkInconsistentOntologyException e) { final TypeNode<ElkClass, ElkNamedIndividual> node = getInstanceTaxonomyQuietly() .getBottomNode(); return direct ? node.getDirectInstanceNodes()
InstanceTaxonomy<ElkClass, ElkNamedIndividual> instanceTaxonomy = reasoner.getInstanceTaxonomyQuietly();
taxonomy = reasoner.getInstanceTaxonomyQuietly(); if (options.hasArgument(outputFile)) writeInstanceTaxonomyToFile(options.valueOf(outputFile),
taxonomy = reasoner.getInstanceTaxonomyQuietly(); if (options.hasArgument(outputFile)) writeInstanceTaxonomyToFile(options.valueOf(outputFile),
reasoner.getInstanceTaxonomyQuietly(); reasoner.getInstanceTaxonomyQuietly(); reasoner.getInstanceTaxonomyQuietly(); changeLoader.remove(axDisj); reasoner.getInstanceTaxonomyQuietly();
InstanceTaxonomy<ElkClass, ElkNamedIndividual> taxonomy = reasoner.getInstanceTaxonomyQuietly(); taxonomy = reasoner.getInstanceTaxonomyQuietly(); taxonomy = reasoner.getInstanceTaxonomyQuietly();
InstanceTaxonomy<ElkClass, ElkNamedIndividual> taxonomy = reasoner.getInstanceTaxonomyQuietly(); taxonomy = reasoner.getInstanceTaxonomyQuietly();
InstanceTaxonomy<ElkClass, ElkNamedIndividual> taxonomy = reasoner.getInstanceTaxonomyQuietly(); taxonomy = reasoner.getInstanceTaxonomyQuietly();