GO import outdated, causing unspecified reasoning behaviour

monarch-initiative / monarch-disease-ontology-RETIRED

THIS IS THE OLD REPO: Use this one instead: https://github.com/monarch-initiative/mondo-build

https://github.com/monarch-initiative/mondo-build

17 stars 9 forks source link

GO import outdated, causing unspecified reasoning behaviour #424

Closed matentzn closed 6 years ago

matentzn commented 6 years ago

Same as closed upheno case, the MONDO GO import (http://purl.obolibrary.org/obo/mondo/imports/go_import.owl) needs to be refreshed: It still uses the old specification of part of (which is specified as functional AND transitive, instead of merely transitive). This can cause some issues with reasoning and catapults MONDO (and in turn Monarch.owl) out of the OWL 2 DL profile.

cmungall commented 6 years ago

Wow, amazing that one slip in Protege months ago continues to wreak havoc across multiple ontologies like a bull in a semantic china shop! We need @balhoff's atomic ontologies!

And embarrassed the imports are stale. Turns out we were regenerating the imports regularly, but the cached version of the upstream was not being refreshed...