material structures needed to replace anatomical space fillers in GO logical definitions

[balhoff]

I'm trying to resolve all reasoning violations in GO resulting from property range axioms. The remaining issues have to do with anatomical spaces used as targets of results in development of. Here are the GO terms and Uberon terms used:

• [ ] subarachnoid space development | subarachnoid space
• [ ] tube lumen cavitation | tube lumen
• [ ] neural rod cavitation | neural tube lumen
• [ ] pronephric sinus development | pronephric sinus

I would appreciate any suggestions for what to do about these.

Related: #2214, #2215

[shawntanzk]

@balhoff - has this ticket been addressed with the GO ticket? or is it something we need to look into for a proper fix?

[balhoff]

We do still need to address this. I took a look, and we're only avoiding unsatisfiable classes at the moment due to a lack of connections from Uberon into CARO and BFO (at least what we have imported into GO).

[pgaudet]

@balhoff

• GO:0014024 neural rod cavitation was merged into GO:0014020 primary neural tube formation
• GO_1903374 subarachnoid space development was obsoleted

[ghost]

Initial thoughts from @addiehl: need to address property range problems. How are spaces handled as material, anatomical entities? May be a relations ontology issue, not something that can be solved just in Uberon.

[github-actions[bot]]

This issue has not seen any activity in the past 6 months; it will be closed automatically one year from now if no action is taken.

[github-actions[bot]]

This issue has been closed automatically because it has not been updated in 18 months. Please re-open if you still need this to be addressed.

[cmungall]

We should revise

• whether these are truly immaterial or material
• if immaterial, make material counterparts/shadows for each, and use these in GO
• place these under the new "gross anatomical part" term

[pgaudet]

Just noting that the issues have been resolved in GO; is this still needed?