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();
	}
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