Add systematic script to find ALL redundant SubClassOf axioms#3551

Open

cmungall wants to merge 6 commits intomasterfrom

issue-3548-systematic-redundancy-finder

Commits on May 27, 2025

Add systematic script to find redundant SubClassOf axioms
Dragon-AI Agent
committed
Remove 375 redundant SubClassOf axioms that duplicate intersection_of definitions

Dragon-AI Agent
and
claude
committed

Commits on Jun 16, 2025

Merge branch 'master' into issue-3548-systematic-redundancy-finder
dosumis
authored

Commits on Jul 17, 2025

Merge branch 'master' into issue-3548-systematic-redundancy-finder
dosumis
authored

Commits on Sep 15, 2025