search

EnvironmentOntology / envo

A community-driven ontology for the representation of environments
http://www.environmentontology.org
Creative Commons Zero v1.0 Universal
127 stars 53 forks source link

DO NOT MERGE. debugging only #1401

Closed matentzn closed 1 year ago

balhoff commented 1 year ago

Deleting this axiom removes 92/95 unsats:

I think it's wrong for 2 reasons:

  1. output of should link to a process, not a material thing
  2. construction says it is made by a human or organism, but too many terms are linked to this through existential relations. Every stream shouldn't require the existence of a construction.
balhoff commented 1 year ago
balhoff commented 1 year ago

Note the term IRI; this is just a mistake. There is another satisfiable term rate of hydrological evaporation in soil.

matentzn commented 1 year ago

@wdduncan would you feel confident to make a PR and fix these? Or @kaiiam?

wdduncan commented 1 year ago

Changes pointed out by @balhoff have been made. It reasons in ELK.