Add `taxslim-disjoint-over-in-taxon.owl` to the pipeline#2928

Closed

anitacaron wants to merge 11 commits intomasterfrom anitacaron/issue2707

+282-11

Commits on Jun 16, 2023

Commits on Jun 19, 2023

update taxslim-disjoint-over-in-taxon
anitacaron
committed

Commits on Jun 20, 2023

remove wings never_in_taxon Sauropsida
anitacaron
committed

Commits on Jul 20, 2023

Taxon disjointness unsat not showing up in pipeline
anitacaron
committed

Commits on Jul 21, 2023

Making induction relation between suture and DM mammal-only
anitacaron
committed

Commits on Sep 5, 2023

Making induction relation between suture and DM mammal-only (#2978 )
cmungall
authored

Commits on Sep 6, 2023

Merge branch 'master' into issue2707
gouttegd
committed

Commits on Sep 13, 2023

replace taxslim-disjoint-over-in-taxon.owl with mirror/ncbitaxon.owl
anitacaron
committed

Commits on Sep 19, 2023

Merge taxon disjointness axioms when doing the bridge checks.
gouttegd
committed

Commits on Oct 11, 2023

Merge branch 'master' into anitacaron/issue2707
Anita Caron
authored