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();
		}
	}
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
Convenience method for printing an { @link InstanceTaxonomy } to a file at the given location .