Shawn Tan

robot reason --annotate-inferred-axioms true annotates with string

4

when using `robot reason --annotate-inferred-axioms true`, we end up with this axiom `oboInOwl:is_inferred "true"^^xsd:string` Should it be `^^xsd:boolean` instead?

Hi GO team, was wondering if it would be sensible to add a new term 'catecholamine secretion, neurotransmission' that has the following under it: GO:0061527 'dopamine secretion, neurotransmission' GO:0061533 'norepinephrine...

Obsolete term warning should come with a replaced_by ID for ease of life

3

Currently (if I'm not wrong) it just tells you what is obsolete, ideally it should also tell you what to replace it by @dosumis just pinging you Will bring up...

Manual triggered Robot diff for release

11

Currently the automated diff uses cl-edit to built files - while this is correct, it would be useful to have one that can be manually triggered for releases that compares...

see https://github.com/ontodev/robot/issues/893

automate updating ODK in some way

8

Possible solutions: - Is there a possibility of automating update ODK PR, perhaps using GH actions? Is this a good idea? - Setting up something that warns users when using...

add lateral tegmental nucleus

3

curious that there isnt relations for medial and lateral relations - should we be thinking of adding this in RO?

Add interstitial nucleus of the vestibular nerve

5

@patrick-lloyd-ray I don't quite understand this term. Neuronames suggest it to be part of a nerve, but ABA suggests that it isn't. I think that's why this is failing -...

ABA-Uberon bridge file updates

40

We have some expert-curated stuff for ABA-uberon bridge files that need to be updated [CCF_to_UBERON.xlsx](https://github.com/obophenotype/uberon/files/8428351/CCF_to_UBERON.xlsx) - Ignore verify for now - Remove mapping for nok - @shawntanzk to find out...

[DO NOT MERGE] Add homo sapien taxon restriction to Brodmann area

4

Let QC run through - might break somewhere Fixes https://github.com/obophenotype/uberon/issues/2449