Closed balhoff closed 4 years ago
Shall we set remove-redundant-subclass-axioms to false as well?
I don't think so. It's a bit unclear if that matters if you aren't using create-new-ontology
(we may want to switch to that in the future), but either way I think we wouldn't want redundant axioms, right?
@balhoff Shall we set
remove-redundant-subclass-axioms
tofalse
as well?