elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/taxonomy/TaxonomyPrinter.java
public static void dumpInstanceTaxomomyToFile(
			final InstanceTaxonomy<? extends ElkEntity, ? extends ElkEntity> taxonomy,
			final String fileName, final boolean addHash) throws IOException {
		final FileWriter fstream = new FileWriter(fileName);
		final BufferedWriter writer = new BufferedWriter(fstream);
		try {
			dumpInstanceTaxomomy(taxonomy, writer, addHash);
		} finally {
			writer.close();
		}
	}
public static void dumpInstanceTaxomomyToFile(
			final InstanceTaxonomy<? extends ElkEntity, ? extends ElkEntity> taxonomy,
			final String fileName, final boolean addHash) throws IOException {
		final FileWriter fstream = new FileWriter(fileName);
		final BufferedWriter writer = new BufferedWriter(fstream);
		try {
			dumpInstanceTaxomomy(taxonomy, writer, addHash);
		} finally {
			writer.close();
		}
	}
Convenience method for printing an {@link InstanceTaxonomy} to a file at
the given location.

@see org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter#dumpInstanceTaxomomy

@param taxonomy
@param fileName
@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