{
 "flight": {
  "id": 1844,
  "agent": "claude-code",
  "state": "open",
  "title": "Add systematic script to find ALL redundant SubClassOf axioms",
  "number": 3551,
  "source": "aidev",
  "commits": 4,
  "debrief": null,
  "outcome": "stale",
  "signals": [
   "aidev:Claude_Code",
   "trailer:claude"
  ],
  "index_ok": false,
  "additions": 15828,
  "closed_at": null,
  "deletions": 26336,
  "merged_at": null,
  "opened_at": "2025-05-27T17:27:43+00:00",
  "task_type": "feat",
  "body_chars": 1888,
  "confidence": "dataset",
  "updated_at": "2026-11-03T17:53:33.703657+00:00",
  "enriched_at": null,
  "body_excerpt": "## Summary\n• Developed a systematic Perl script to find ALL terms with redundant SubClassOf axioms that duplicate intersection_of definitions\n• Script identifies 303 terms with 375 total redundant axioms in the current UBERON ontology\n• This addresses the systematic detection capability requested in",
  "review_count": 1,
  "files_changed": 89,
  "hours_to_merge": null,
  "metrics_source": "aidev_commit_sum",
  "change_requests": 1,
  "og_generated_at": null,
  "reviewer_excerpt": "Need to work out why this is no longer inferred: ![image](https://github.com/user-attachments/assets/0bf5e01e-26b8-4577-857c-a8d2f831fc88) As far as I can tell - all elements are there, but the inference",
  "review_comment_count": 0,
  "reviewer_excerpt_url": "https://github.com/obophenotype/uberon/pull/3551#pullrequestreview-2874455770"
 },
 "repo": {
  "name": "uberon",
  "owner": "obophenotype",
  "stars": 142,
  "license": "NOASSERTION",
  "full_name": "obophenotype/uberon",
  "primary_language": "Emacs Lisp"
 },
 "author": {
  "login": "cmungall",
  "name": "Chris Mungall",
  "github_profile": "https://github.com/cmungall",
  "page": "https://agentriders.com/logs/author/cmungall/"
 },
 "claim": null,
 "events": [
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Dragon-AI Agent"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Dragon-AI Agent"
  },
  {
   "at": null,
   "url": null,
   "kind": "reviewed",
   "actor_login": null
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "David Osumi-Sutherland"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "David Osumi-Sutherland"
  },
  {
   "at": "2025-05-28T10:25:25+00:00",
   "url": "https://github.com/obophenotype/uberon/pull/3551#pullrequestreview-2874455770",
   "kind": "changes_requested",
   "actor_login": "dosumis"
  },
  {
   "at": "2025-07-17T02:52:51+00:00",
   "url": null,
   "kind": "labeled",
   "actor_login": "github-actions[bot]"
  }
 ],
 "related": [
  {
   "agent": "claude-code",
   "state": "merged",
   "title": "Fix issue #2911: Remove erroneous part_of relationships between conus arteriosus and uterine tube structures",
   "number": 3508,
   "outcome": null,
   "index_ok": false,
   "additions": null,
   "deletions": null,
   "merged_at": "2025-04-23T23:27:32+00:00",
   "opened_at": "2025-04-23T22:48:47+00:00",
   "task_type": null,
   "files_changed": null,
   "hours_to_merge": 0.65
  }
 ],
 "pr_url": "https://github.com/obophenotype/uberon/pull/3551",
 "page": "https://agentriders.com/logs/obophenotype/uberon/3551/"
}