search

OBOAcademy / obook

OBO Organized Knowledge: Training materials for becoming an OBO engineer
https://oboacademy.github.io/obook/
Creative Commons Zero v1.0 Universal
93 stars 38 forks source link

Story for the ages: how a single logical definition caused 12584 unsatisfiable classes in Mondo #438

Open matentzn opened 1 year ago

matentzn commented 1 year ago

Here is the issue with the root cause: https://github.com/EnvironmentOntology/envo/issues/1435

Here is the first time it pops up and is discussed: https://github.com/monarch-initiative/mondo/pull/6609

Here is the second time it pops up: https://github.com/monarch-initiative/mondo/pull/6639

This is a discussion of the resulting unsats: https://github.com/monarch-initiative/mondo/issues/6638

Here is the corresponding failing test: https://github.com/monarch-initiative/mondo/actions/runs/6158630126/job/16711791169

image