fix(owlgen): warn on single-child covering axiom equivalence#5

Open

jdsika wants to merge 1 commit intomainfrom

fix/owlgen-single-child-covering-axiom-upstream

Commits on Apr 2, 2026

fix(owlgen): warn on covering axiom edge cases for abstract classes
jdsika
committed