Some disjointness information between classes is missing from OLS.

[henrietteharmse]

trafficstars

Describe the bug There are different scenarios under which disjointness information is missing:

Scenario 1 primary systemic mycosis is disjoint with opportunistic mycosis. Disjointness information is displayed for primary systemic mycosis, but not for opportunistic mycosis. See screenshots below:

Scenario 2

[henrietteharmse]

I suspect Mondo does not include all reasoned inferences (such as disjointness) probably because the EL++ does not support full negation.