Flight Log / obophenotype/uberon #3551
Add systematic script to find ALL redundant SubClassOf axioms — a Claude Code (Anthropic) flight by Chris Mungall
Chris Mungall (@cmungall) opened this Claude Code (Anthropic) pull request in obophenotype/uberon on May 27, 2025; open and stale: +15,828 −26,336, 89 files, 1 review.
Flown by
- Lines
- +15,828 −26,336
- Files
- 89
- Commits
- 4
- Reviews
- 1 (1 ✕)
- To merge
- —
- Task
- feat
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
From the pull request description
## Summary • Developed a systematic Perl script to find ALL terms with redundant SubClassOf axioms that duplicate intersection_of definitions • Script identifies 303 terms with 375 total redundant axioms in the current UBERON ontology • This addresses the systematic detection capability requested in…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedDragon-AI Agent
- —committedDragon-AI Agent
- —reviewed
- —committedDavid Osumi-Sutherland
- —committedDavid Osumi-Sutherland
- May 28, 2025changes requesteddosumis↗
- Jul 17, 2025labeledgithub-actions[bot]
Read next
Cite this flight: AgentRiders Flight Log, obophenotype/uberon#3551, record updated Nov 3, 2026, https://agentriders.com/logs/obophenotype/uberon/3551/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.