added frost heaving process

[stevenchong]

No description provided.

[stevenchong]

added frost heaving process for issue #703

[pbuttigieg]

Hi @stevenchong

Two points of revision:

Outputs

These axioms suggest that the FHP always has a palsa and a frost-formed hummock as outputs, which isn't the case.

It's better to add the output of relation on the palsa and hummock classes. Here's what it looks like for palsa:

Some more axioms

I added a few more axioms on the process to weave it into the ENVO background model a little more deeply:

Note that processes can have process parts (but not continuant parts, those are listed as participants)

[stevenchong]

I edited the relations for 'frost-formed hummock' and 'palsa' from output of to formed as result of as they seem more appropriate.

FYI, I also added in the envoPolar in_subset AP to adfreezing, cryopeg, and frost heaving process. I'll add in the envoNceas to the in_subset APs in a follow up commit.

[pbuttigieg]

@stevenchong good stuff

I edited the relations for 'frost-formed hummock' and 'palsa' from output of to formed as result of as they seem more appropriate.

Yes, that's better

FYI, I also added in the envoPolar in_subset AP to adfreezing, cryopeg, and frost heaving process. I'll add in the envoNceas to the in_subset APs in a follow up commit

Great.

[pbuttigieg]

Looking good, one last thing based on @cmungall's comment on issue #703 (comment)

We should create frost heave to go with frost heaving and gather up things like palsa's and frost-formed hummocks.

I'll do that with an equivalence axiom in a few ...

[pbuttigieg]

PS: @stevenchong be careful with the in subset property - each subset should have it's own AP.

This won't be understood by the Makefile:

But this will be:

I'll revise that in my next commit...

[pbuttigieg]

Following up on #704 (comment)

I've added an defined class for frost heave (the ME) defined by the process. Sorts out the palsa and frost-formed hummock quite nicely.

[pbuttigieg]

Cool, I think we're ready for merge! Party time...

[pbuttigieg]

We're keeping this branch alive as this PR is used in our documentation for training purposes.

[pbuttigieg]

Refer to conversation thread, where contents were reviewed.