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

		if (addHash) {
			writer.write(
					"\n# Hash code: " + getInstanceHashString(taxonomy) + "\n");
		}
		writer.flush();
	}
public static void dumpInstanceTaxomomy(
			final InstanceTaxonomy<? extends ElkEntity, ? extends ElkEntity> taxonomy,
			final Writer writer, final boolean addHash) throws IOException {
		writer.write("Ontology(\n");
		processInstanceTaxomomy(taxonomy, writer);
		writer.write(")\n");

		if (addHash) {
			writer.write(
					"\n# Hash code: " + getInstanceHashString(taxonomy) + "\n");
		}
		writer.flush();
	}
public static void dumpInstanceTaxomomy ( final InstanceTaxonomy < ? extends ElkEntity , ? extends ElkEntity > taxonomy , final Writer writer , final boolean addHash ) throws IOException { writer . write ( "Ontology(\n" ) ; processInstanceTaxomomy ( taxonomy , writer ) ; writer . write ( ")\n" ) ; if ( addHash ) { writer . write ( "\n# Hash code: " + getInstanceHashString ( taxonomy ) + "\n" ) ; } writer . flush ( ) ; }
Print the contents of the given {@link InstanceTaxonomy} 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 InstanceTaxonomy } to the specified Writer . Expressions are ordered for generating the output ensuring that the output is deterministic .