Add QC check to look for excluded subclassof axioms which are asserted#8291

Open

matentzn wants to merge 3 commits intomasterfrom issue-8290-excludedsubclassofqc

+21-68

Commits on Oct 30, 2024

Adds a QC check that looks for cases where excluded subclassof axioms are asserted
matentzn
committed
Update a few descriptions of excluded-subclass-of related checks
matentzn
committed

Commits on Nov 6, 2024

remove directly asserted parents that should be excluded
twhetzel
committed