static void printClassTaxonomy(Taxonomy<ElkClass> taxonomy, File out)
			throws IOException {
    """
	prints SubClassOf(A, owl:Thing) for all direct subclasses of owl:Thing
    """
		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);
		}
	}
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
prints SubClassOf ( A owl : Thing ) for all direct subclasses of owl : Thing