Open jpquast opened 3 weeks ago
This is an example of the cryptic equivalence anti-pattern. A lot of ontologies had analogous errors before they adopted logical axiomatization. I am still hopeful that one day CHEBI will adopt logical axiomatization, this kind of thing becomes very easy to detect automatically.
In this case, I believe CHEBI are kind-of-sort-of saying that calcium ion and cation are equivalent because the anion form would be so unstable, hence all calcium ions are cations?
See:
But if this is the intent, I think it's better to be explicit, and either:
Thanks for adding to this @cmungall ! In case of calcium the anions would likely be indeed unstable, but for some other metals this might not be the case (e.g. gold, CHEBI:30030). So I think if the term is "metal cation" the linked atomic ions should also be the "cations". Also calcium is the only atom for which the ion is linked to the "metal cation" term and not the cation.
Technically
CHEBI:39124
calcium ion should not have the outgoing ontology toCHEBI:25213
metal cation since it is an ion and not a cation. "calcium cation" is correctly connected to "metal cation" throughchebi:33513
alkaline earth cation. So ideally the outgoing ontology of "calcium ion" to "metal cation" should be removed.