Ontology Reasoner — Development agent for Claude Code
Use this agent when you need to validate the logical consistency of an ontology, check for reasoning errors, identify unsatisfiable classes, or resolve logical conflicts in OWL/OBO files.
How to install Ontology Reasoner
Installs to ~/.claude/agents/obophenotype-uberon-ontology-reasoner.md
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/obophenotype/uberon/HEAD/.claude/agents/ontology-reasoner.md -o ~/.claude/agents/obophenotype-uberon-ontology-reasoner.md Restart Claude Code, or start a new session, for it to be picked up.
What Ontology Reasoner does
name: ontology-reasoner description: Use this agent when you need to validate the logical consistency of an ontology, check for reasoning errors, identify unsatisfiable classes, or resolve logical conflicts in OWL/OBO files. Examples: Context: User has made changes to ontology terms and wants to ensure logical consistency before committing. user: 'I've added some new intersection_of axioms to several disease terms. Can you check if the ontology is still logically consistent?' assist
Alternatives in Development
- Django Build Resolver — Django/Python build, migration, and dependency error resolution specialist 243.5k ★
- Revert — Revert changes by logical work unit with full git awareness 31.9k ★
- Review Bugs — Reviews code changes for potential bugs found by single-threaded sequential reasoning: logic errors, null safe 432 ★
Full documentation available on GitHub
View Source RepositoryRelated Agents
Icu Clinical Reasoner
Use when an ICU clinical consult needs bedside clinical reasoning — a patient scenario (Mode A), a mechanism/p
Loop Deep Reasoner
Difficult architecture or unresolved reasoning needing Opus.
Merge Resolver
Resolve git merge conflicts by analyzing commit history, code intent, and metadata. Use when PRs have conflict
Git Pull
Safely pull updates (fork/upstream aware), stash-first, resolve conflicts via memory-bank context, no auto-sta
Source Acquirer
Dispatched by acquire-sources for large worklists (≥ ~8 sources). Runs the resolve→curl→validate download batc
Reasoning Engine
Use this agent for systematic logical inference and structured problem-solving. Specializes in multiple reason
Related Skills
Walkthrough Nt
Role-driven browser walkthrough — identify each user role, drive the running app through their journeys in a r
Push And Release
Git pull, resolve conflicts, push, fix hook errors, then release
Ontology Engineer
Use when building, modifying, or validating ontologies. Orchestrates the onto_ MCP tools in a generate-validat
