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

Open

jdsika wants to merge 2 commits into

mainfrom

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

Commits on May 8, 2026

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

Commits on May 11, 2026

Merge branch 'main' into fix/owlgen-single-child-covering-axiom-upstream
jdsika
authored