elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/taxonomy/TaxonomyPrinter.java
protected static <T extends ElkEntity, I extends ElkEntity> void printMemberAxioms(
			final I member, final List<I> equivalentMembers,
			final SortedSet<T> directSuperMembers, final Taxonomy<T> taxonomy,
			final ElkObject.Factory factory, final Appendable writer)
					throws IOException {

		if (equivalentMembers.size() > 1) {
			final ElkAxiom axiom = member.accept(
					getEquivalentAxiomProvider(equivalentMembers, factory));
			OwlFunctionalStylePrinter.append(writer, axiom, true);
			writer.append('\n');
		}

		// TODO: this should exclude implicit axioms as owl:Thing ⊑ owl:Nothing
		if (!member.equals(taxonomy.getBottomNode().getCanonicalMember())) {
			for (final T superMember : directSuperMembers) {
				if (!superMember
						.equals(taxonomy.getTopNode().getCanonicalMember())) {
					final ElkAxiom axiom = member
							.accept(getSubAxiomProvider(superMember, factory));
					OwlFunctionalStylePrinter.append(writer, axiom, true);
					writer.append('\n');
				}
			}
		}

	}
protected static <T extends ElkEntity, I extends ElkEntity> void printMemberAxioms(
			final I member, final List<I> equivalentMembers,
			final SortedSet<T> directSuperMembers, final Taxonomy<T> taxonomy,
			final ElkObject.Factory factory, final Appendable writer)
					throws IOException {

		if (equivalentMembers.size() > 1) {
			final ElkAxiom axiom = member.accept(
					getEquivalentAxiomProvider(equivalentMembers, factory));
			OwlFunctionalStylePrinter.append(writer, axiom, true);
			writer.append('\n');
		}

		// TODO: this should exclude implicit axioms as owl:Thing ⊑ owl:Nothing
		if (!member.equals(taxonomy.getBottomNode().getCanonicalMember())) {
			for (final T superMember : directSuperMembers) {
				if (!superMember
						.equals(taxonomy.getTopNode().getCanonicalMember())) {
					final ElkAxiom axiom = member
							.accept(getSubAxiomProvider(superMember, factory));
					OwlFunctionalStylePrinter.append(writer, axiom, true);
					writer.append('\n');
				}
			}
		}

	}
protected static < T extends ElkEntity , I extends ElkEntity > void printMemberAxioms ( final I member , final List < I > equivalentMembers , final SortedSet < T > directSuperMembers , final Taxonomy < T > taxonomy , final ElkObject . Factory factory , final Appendable writer ) throws IOException { if ( equivalentMembers . size ( ) > 1 ) { final ElkAxiom axiom = member . accept ( getEquivalentAxiomProvider ( equivalentMembers , factory ) ) ; OwlFunctionalStylePrinter . append ( writer , axiom , true ) ; writer . append ( ' ' ) ; } // TODO: this should exclude implicit axioms as owl:Thing ⊑ owl:Nothing if ( ! member . equals ( taxonomy . getBottomNode ( ) . getCanonicalMember ( ) ) ) { for ( final T superMember : directSuperMembers ) { if ( ! superMember . equals ( taxonomy . getTopNode ( ) . getCanonicalMember ( ) ) ) { final ElkAxiom axiom = member . accept ( getSubAxiomProvider ( superMember , factory ) ) ; OwlFunctionalStylePrinter . append ( writer , axiom , true ) ; writer . append ( ' ' ) ; } } } }
Process axioms related to one member of {@link Taxonomy}, where the
relevant related members are given in two ordered collections of
equivalent members and super-members, respectively. The method serializes
the axioms to the Writer.
Process axioms related to one member of {