Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Dual injections from FOODON and OBI into GAZ causes incoherency #1375

Closed
cmungall opened this issue Jun 16, 2021 · 13 comments
Closed

Dual injections from FOODON and OBI into GAZ causes incoherency #1375

cmungall opened this issue Jun 16, 2021 · 13 comments
Assignees

Comments

@cmungall
Copy link
Contributor

I am merging FOODON and OBI, and I get an incoherent ontology:

OBI says GAZ:geographic_location is a site (ie immaterial):

http://www.ontobee.org/ontology/OBI?iri=http://purl.obolibrary.org/obo/GAZ_00000448

FOODON says GAZ:geographic_location is a material entity:

http://www.ontobee.org/ontology/FOODON?iri=http://purl.obolibrary.org/obo/GAZ_00000448

Clearly the source issue here is that GAZ is under-axiomatized, thus people feel the need to inject their own axioms. You can blame me for that. (We need a plan for this, but I suggest we don't discuss that here, let's use https://github.com/EnvironmentOntology/gaz/issues or the OBO tracker)

However, the current situation of anyone getting to inject whatever axioms they want is not tenable if OBO is to be coherent. A global solution is being discussed here: OBOFoundry/OBOFoundry.github.io#1443

But for now I think we have to resolve these one at a time.

My proposal is that OBI changes its injection to be consistent with FOODON. I also suggest we use this as an opportunity to adopt @dosumis' proposal here and tag this axiom.

The alternative is we ask @ddooley to change the FOODON injection to be consistent with OBI. However, I don't think that is a good suggestion, it opens us up to further cryptic incoherencies. I recommend that "site" is avoided as a class in general (OBOFoundry/OBOFoundry.github.io#1539).

@ddooley
Copy link
Contributor

ddooley commented Jun 21, 2021

Call discussion Monday June 21: much of this hinges on COB position with respect to geographic location, and allowing subscribing ontologies to synchronize with COB's classification. However COB development plan timeline is uncertain so wouldn't want to import COB at this point. Suggest move question of treatment of geographic location up to OBO Operations for decision. In meantime FoodON will consult with Chris about needing timing for resolution of this. Multiple groups are considering alternative sources for geographic location (e.g. geonames), however OBO still needs a term for geographic location (or its sensu variations).

@ddooley
Copy link
Contributor

ddooley commented Jun 21, 2021

Also, see COB discussion about this already: OBOFoundry/COB#91 . Should this be raised to OBO operations level debate?

@cmungall
Copy link
Contributor Author

Yes, we definitely need to talk about this and other injections at the OBO level

But was my short term fix discussed on the call?

My proposal is that OBI changes its injection to be consistent with FOODON.

This is very straightforward, completely ontologically justifiable, and as far as I can see suffers no downside. We need to be more agile about this kind of thing and fix simple common sense things quickly

@bpeters42
Copy link
Contributor

bpeters42 commented Jun 22, 2021 via email

@cmungall
Copy link
Contributor Author

I don't think it's true that there is an unknown number of systems using GAZ 'geopgraphical entity' in OBI. We can see the usages clearly. In fact there is a single usage, in IAO

"postal address subClassOf is-about some geographic location"

http://www.ontobee.org/ontology/IAO?iri=http://purl.obolibrary.org/obo/GAZ_00000448

I think we need to be better at balancing the need for such rococo axioms against the fact that we have had a major incoherency in OBO for over a month. This is akin to a major software library release software that doesn't compile for a month.

There is a very very simple solution here - simply remove the axiom from IAO and remove the GAZ import (this was the only GAZ class used)

information-artifact-ontology/IAO#248

If people truly find the axiom valuable then it can be re-added using ENVO or GEO later, but I doubt anyone has ever found this axiom useful

@ddooley
Copy link
Contributor

ddooley commented Jul 13, 2021

I see these Ontobee ontologies reference GAZ geographic location directly: AERO, APOLLO_SV, CHEMINF, DIDEO, DUO, EUPATH, FLU, FOODON, GENEPIO, GSSO, HSO, HTN, IAO, ICO, KTAO, OBI, OBI-NIAID-GSC-BRC-view, OBIB, OLAM, OMRSE, ONE, ONS, OOSTT, OPMI, PNO, PSDO, VICO, d-acts, and all place it under "site" except for FoodOn and GenEpiO.

I'm updating FoodOn and GenEpiO to switch to GEO Geographical Location today to avoid conflict.

@ddooley ddooley self-assigned this Jul 13, 2021
@ddooley
Copy link
Contributor

ddooley commented Jul 13, 2021

FoodOn switching to "GEO geographical location" which will fix unsatisfiability of GAZ geographic location itself, but FoodOn and GenEpiO include the GAZ subclasses for continents and countries, so this still poses a problem if a merged ontology includes both GAZ and GEO location branches. Addendum: FoodOn will drop GAZ subclasses for country and leave it up to consuming ontologies to choose their preferred geo ontology for the moment.

@cmungall
Copy link
Contributor Author

cmungall commented Jul 14, 2021 via email

@cmungall
Copy link
Contributor Author

cmungall commented Jul 14, 2021 via email

@bpeters42
Copy link
Contributor

bpeters42 commented Jul 15, 2021 via email

@bpeters42
Copy link
Contributor

bpeters42 commented Jul 15, 2021 via email

@cmungall
Copy link
Contributor Author

cmungall commented Jul 15, 2021 via email

@cmungall
Copy link
Contributor Author

so it seems that in addition to IAO referencing GAZ location for 'postal address', there is also an OBI axiom that references it: country_name is-about some geographic location:

https://www.ebi.ac.uk/ols/ontologies/obi/terms?iri=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FGAZ_00000448

image

I'd recommend removing this is as well, then you remove an entire brittle dependency.

You can add back a more precise axiom later using GEO or ENVO, but I suspect this axiom is also not useful

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants