Closed cmungall closed 2 weeks ago
WARNING: This issue has been automatically closed because it has not been updated in more than 3 years. Please re-open it if you still need this to be addressed addressed addressed – we are now getting some resources to deal with such issues.
Reopening as part of an effort (for Ubergraph, cf https://github.com/INCATools/ubergraph/pull/143) towards fixing the incompatibilities between ZFA and Uberon.
Of all the unsats in the merge of Uberon + ZFA, about 80 are caused by the disagreement explained in this ticket about what is a “head“ in ZFA and in Uberon.
They could all be resolved by a two-parts fix:
The first part, already evoked in the ticket, is simply to remap 'ZFA:head' to 'UBERON:craniocervical region' (instead of 'UBERON:head'), which is consistent with what ZFA calls a “head”.
The second part is to remove the following axiom in Uberon:
'pharyngeal arch' part_of some 'embryonic head'
'embryonic head' is defined relatively to its non-embryonic counterpart, which refers strictly to the head and excludes the cervical region. As a result, this axiom causes all the “post-hyoid pharyngeal arches” in ZFA (and their multiple derived structures) to be unsatisfiable.
If we don’t want to entirely lose that axiom, we could replace it with
'pharyngeal arch' part_of some 'embryonic craniocervical region'
where 'embryonic craniocervical region' would be a new term defined as the embryonic counterpart to 'craniocervical region'.
In ZFA, a head is analagous to a mammalian head+neck.
This causes problems when we bring in spatial disjointness (see issue #378 )
The def of head is pretty vague:
What's a division?
We introduced a grouping class to accommodate this:
Should ZFA head be mapped to this parent class?
For now, only consider vertebrates - let's not get into the insect head problem...
Note: objections have been raised in the past about the term "craniocervical region". But I think we need some kind of logical structure like this regardless of what we call it.
One option is to call the parent "head" and the child "tetrapod head", but this is ugly, and would make the ontology confusing for mammalian users who expect the head to be... the head.