Fixing hail axiom and depth of water ice axiom

[cmungall]

May fix EBISPOT/ols4#619

See #1491

[rduerr]

So I get the change you made to hail; but the change to 'depth of water ice' was handled differently due to the factor that it is a quality. I presume 'Equivalent To' should be the pattern for qualities?

I appreciate the explanations and if you'd like a "formal review" I suppose I could (after you add the explanation for the change for the 'depth of water ice'. Just trying to learn and have a little bit of a proprietary interest in the cryo terms....

[cmungall]

Yes, the design pattern for any quantity term is an equivalence axiom See other terms, for example https://www.ebi.ac.uk/ols4/ontologies/envo/classes/http%253A%252F%252Fpurl.obolibrary.org%252Fobo%252FENVO_3100031 In fact compositional defined classes are one the main drivers behind description logics like owl There is a classic paper by Alan Rector on this, my overview is here https://douroucouli.wordpress.com/2019/06/29/ontotip-learn-the-rector-normalization-technique/ (Apologies for the ads that Wordpress have started injecting in I’m looking to move my blog to GitHub pages) Here is a good modern paper on the EQ pattern https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10382347/ It focuses on biological traits but the way it uses pato is the same Some more material from the obook https://oboacademy.github.io/obook/tutorial/dosdp-template/ Tutorial video on DPs https://youtu.be/a2Mc9oLEiwk?si=jlUYYUaqNbSG_L5I

…

On Fri, Feb 9, 2024 at 6:14 PM rduerr ***@***.***> wrote: So I get the change you made to hail; but the change to 'depth of water ice' was handled differently due to the factor that it is a quality. I presume 'Equivalent To' should be the pattern for qualities? I appreciate the explanations and if you'd like a "formal review" I suppose I could (after you add the explanation for the change for the 'depth of water ice'. Just trying to learn and have a little bit of a proprietary interest in the cryo terms.... — Reply to this email directly, view it on GitHub <#1492 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAAMMOJKJYL7QDOHBLMKWJ3YS3JYBAVCNFSM6AAAAABDCFXEKCVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTSMZWHAYTKMRQHE> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[cmungall]

This commit accidentally included minor changes to the derived envo.owl file

Replaced by #1498