obophenotype / obophenotype/uberon
brain commissures, white matter and non-vertebrates
Open
@mellybelly is already working on this.
Since Aug 28, 2013.
- Dominant language
- Emacs Lisp
- Stars
- 163
- Forks
- 43
- Avg merge
- 1d 17h
- Merged PRs (30d)
- 5
Description
Many Dmel classes become unsat when used with full taxon constraints:
The particular example is random - anything with an existential dependency on commissure in Fbbt would yield similar results.
Possibly multiple issues here.
FBbt is totally fine:
- FBbt:00005099 ! neuron projection bundle
- FBbt:00005100 ! tract
- FBbt:00007084 ! midline crossing tract
- FBbt:00005103 ! commissure
- FBbt:00007084 ! midline crossing tract
- FBbt:00005100 ! tract
problem arises with the eq axiom to commissure in uberon, where we have brain commissure being a white matter commissure. Suggest we break the link, make it a taxon GCI.
See also:
http://www1.pbrc.hawaii.edu/~danh/MyelinEvolution/evolution.html
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.