Closed cmungall closed 2 months ago
there are some cases where both relation and inverse are both declared functional e.g. isGestationalCarrierOf, this would make both functional and inverse-functional, i.e 1-to-1, meaning it is impossible to be gestational carrier of more than one child
@buske @lindsmith I think my PR fixed Chris's issue; can it be closed?
This can be seen by trying a probe class such as "Father of two":