uberon Include proper taxon constrait checking in general CI

For debugging purposes, I am running:

sh run.sh make reports/taxon-constraint-check.txt MIR=false IMP=false PAT=false BRI=true -B
robot explain -i tmp/uberon-edit-plus-tax-equivs.owl --reasoner ELK -M unsatisfiability --unsatisfiable random:10 --explanation unsat.md

Then pasting unsat.md in GitHub

Originally posted by @matentzn in https://github.com/obophenotype/uberon/issues/2367#issuecomment-1084855364

Apr 01 '22 05:04 matentzn

Reinstate xref: ZFA:0005829 to test this.

Apr 01 '22 12:04 matentzn

Is this related to https://github.com/obophenotype/uberon/issues/2613?

Aug 16 '22 15:08 anitacaron

Maybe, and perhaps fixed by https://github.com/obophenotype/uberon/pull/2388 but it does not seem to work atm, i.e. I cannot get it to fail

Aug 16 '22 16:08 matentzn

This issue has not seen any activity in the past 6 months; it will be closed automatically one year from now if no action is taken.

Jul 09 '23 02:07 github-actions[bot]

This might be fixed by PR #2928.

Jul 10 '23 08:07 anitacaron