A wetland which is inundated with water that contains low concentrations of salts.
'wetland ecosystem' and
('has part' some
('planetary landmass' and
('composed primarily of' some
(soil and ('has part' some 'fresh water')))))
The logical definition does not match the textual definition (S11 violation)
The logical definition likely is trivially satisfied for not freshwater ecosystems in a few different ways:
only one landmass satisfying the inner conditions needs to be satisfied, so a wetland ecosystem that has many landmasses as part only needs one to pass
the inner "soil and ('has part' some 'fresh water'" is trivially satisfied in many cases as both the whole and the part are materials/mass nouns
I always recommend against heavily nesting OWL as the resulting models almost always deviate from what is intended (Remember, with OWL and FOL an equivalence axiom has hold absolutely). This especially holds where the signature includes mass nouns/substances or qualitative terms
let me know how I can help. My recommendation is that the equivalence axiom is removed. I can make this PR. But I want to avoid making PRs that are not in line with documented ENVO design principles
http://purl.obolibrary.org/obo/ENVO_00000243
The logical definition does not match the textual definition (S11 violation)
The logical definition likely is trivially satisfied for not freshwater ecosystems in a few different ways:
I always recommend against heavily nesting OWL as the resulting models almost always deviate from what is intended (Remember, with OWL and FOL an equivalence axiom has hold absolutely). This especially holds where the signature includes mass nouns/substances or qualitative terms