Jim Balhoff

Results 173 issues of Jim Balhoff

Please correct me if I'm missing it, but as far as I can tell, the Uberon build doesn't use `taxslim-disjoint-over-in-taxon.owl` anywhere, or generate the axioms it contains, like: ``` ('in...

tech
Stale
makefile-revision

Related to #2349. This fixes an issue with taxon constraints in GO for yeast annotations: https://github.com/geneontology/go-ontology/issues/23012

unreviewed

Running `make imports/ncbitaxon_import.owl` results in losing taxa that are only referenced in `never_in_taxon` annotations (if I'm interpreting the situation correctly). I assume this is because these assertions aren't expanded prior...

tech

Relate to #2349, https://github.com/geneontology/go-ontology/issues/23445

I'm trying to resolve all [reasoning violations in GO](https://github.com/geneontology/go-ontology/issues/16524) resulting from property range axioms. The remaining issues have to do with anatomical spaces used as targets of [results in development...

question

Should these two lines be showing a difference? https://github.com/lihaoyi/fastparse/blob/99a7c11acb51443ca9b8f6deb1f2a5ca7bf48365/fastparse/test/src/fastparse/ExampleTests.scala#L93-L94 "Similar to .rep is .?, which creates a new parser that attempts to parse the given parser zero or 1 times."

See https://github.com/geneontology/go-ontology/issues/17911#issuecomment-544609253