elk-ore-parent/elk-ore/src/main/java/org/semanticweb/elk/ore/OreTaxonomyPrinter.java
static void printClassTaxonomy(Taxonomy<ElkClass> taxonomy, File out)
			throws IOException {
		FileWriter fstream = null;
		BufferedWriter writer = null;

		try {
			fstream = new FileWriter(out);
			writer = new BufferedWriter(fstream);

			writer.append("Ontology(\n");

			processTaxomomy(taxonomy, writer);

			writer.append(")\n");
			writer.flush();

		} finally {
			IOUtils.closeQuietly(fstream);
			IOUtils.closeQuietly(writer);
		}
	}
static void printClassTaxonomy(Taxonomy<ElkClass> taxonomy, File out)
			throws IOException {
		FileWriter fstream = null;
		BufferedWriter writer = null;

		try {
			fstream = new FileWriter(out);
			writer = new BufferedWriter(fstream);

			writer.append("Ontology(\n");

			processTaxomomy(taxonomy, writer);

			writer.append(")\n");
			writer.flush();

		} finally {
			IOUtils.closeQuietly(fstream);
			IOUtils.closeQuietly(writer);
		}
	}
prints SubClassOf(A, owl:Thing) for all direct subclasses of owl:Thing