Open matentzn opened 1 year ago
@rays22 no need to act on this ticket, we will discuss it in the Friday meetings. The important thing is that you and Arwa spend 60-90 minutes each week to just look at uPheno in OLS and figure out "odditities" (classifications that look unintuitive or wrong) and "opportunities" (missing links that should be there).
Consider removing all axioms other than A sub B from SSPO? Would be a shame for correct partial EQs?
2022-09-16 @rays22, @souzadevinicius, @ar-ibrahim, @matentzn