Some disjointness information between classes is missing from OLS.

EBISPOT / ols4

Version 4 of the EMBL-EBI Ontology Lookup Service (OLS)

http://www.ebi.ac.uk/ols4/

Apache License 2.0

47 stars 22 forks source link

Open henrietteharmse opened 4 months ago

henrietteharmse commented 4 months ago

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 commented 3 months ago

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