'results in formation of' - incorrect relation usage; COB incompatibility

[balhoff]

I'm looking into various incoherencies when merging OBO ontologies, as part of the Ubergraph build. Here is one unsatisfiable class:

exposure to mine drainage SubClassOf Nothing

• exposure to mine drainage EquivalentTo ExO_0000002 and (has exposure stimulus some mine drainage)
  • mine drainage SubClassOf part_of some mine
    • mine SubClassOf participates in some mining
    • mining SubClassOf has_part some ecosystem fragmentation process
      • ecosystem fragmentation process EquivalentTo ecosystem process and (has input some ecosystem) and (results in formation of some ecosystem fragment)
      • results in formation of SubPropertyOf: results in developmental progression of
        • results in developmental progression of Domain biological_process
        • biological process EquivalentTo biological_process
      • ecosystem process SubClassOf environmental system process
        • environmental process EquivalentTo environmental system process
• biological process DisjointWith environmental process

The problems here are:

• ENVO is using results in developmental progression of in a more general way than it is defined in RO (the domain is GO 'biological process')
• COB is injecting a disjointness which makes this apparent

The solution suggested by @cmungall is to create a more general relation in RO to be used by ENVO (and give the existing relation a more specific name). I can also make an issue in the RO repo for that. (update - see https://github.com/oborel/obo-relations/issues/636)

[wdduncan]

Thanks @balhoff
Nice catch! Let's follow up in the RO issue.

[pbuttigieg]

Thanks @balhoff - the more generic RO class would be very useful for broader semantics - staying tuned