small fix for conditions of using defaultTopOutput as direct subsumers:
owl:Thing might be in the equivalence class
class taxonomy and instance taxonomy factories do not need references to
the top node anymore because the respective equivalence class for top
will be created by transitive reduction