elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/taxonomy/TaxonomyPrinter.java
public static void dumpTaxomomy(
			final Taxonomy<? extends ElkEntity> taxonomy, final Writer writer,
			final boolean addHash) throws IOException {
		writer.append("Ontology(\n");
		processTaxomomy(taxonomy, writer);
		writer.append(")\n");

		if (addHash) {
			writer.append("\n# Hash code: " + getHashString(taxonomy) + "\n");
		}
		writer.flush();
	}
public static void dumpTaxomomy(
			final Taxonomy<? extends ElkEntity> taxonomy, final Writer writer,
			final boolean addHash) throws IOException {
		writer.append("Ontology(\n");
		processTaxomomy(taxonomy, writer);
		writer.append(")\n");

		if (addHash) {
			writer.append("\n# Hash code: " + getHashString(taxonomy) + "\n");
		}
		writer.flush();
	}
public static void dumpTaxomomy ( final Taxonomy < ? extends ElkEntity > taxonomy , final Writer writer , final boolean addHash ) throws IOException { writer . append ( "Ontology(\n" ) ; processTaxomomy ( taxonomy , writer ) ; writer . append ( ")\n" ) ; if ( addHash ) { writer . append ( "\n# Hash code: " + getHashString ( taxonomy ) + "\n" ) ; } writer . flush ( ) ; }
Print the contents of the given {@link Taxonomy} to the specified Writer.
Expressions are ordered for generating the output, ensuring that the
output is deterministic.

@param taxonomy
@param writer
@param addHash
if true, a hash string will be added at the end of the output
using comment syntax of OWL 2 Functional Style
@throws IOException
If an I/O error occurs
Print the contents of the given { @link Taxonomy } to the specified Writer . Expressions are ordered for generating the output ensuring that the output is deterministic .