unsatisfiability from COB interaction

[balhoff]

I'm trying to resolve unsatisfiable classes found in the Ubergraph build. This issue overlaps OBI, SO, and COB.

genotyping assay EquivalentTo Nothing

• genotyping assay SubClassOf has_specified_output some genotype information
  • genotype information SubClassOf genetic characteristics information
    • genetic characteristics information SubClassOf is about some (region and (is concretized as some (characteristic_of some (nucleic acid and (part_of some organism)))))
      • region SubClassOf sequence_feature
        • sequence_feature SubClassOf material entity
          • material entity EquivalentTo material entity
            • material entity SubClassOf independent continuant
      • is concretized as Domain generically dependent continuant
• independent continuant DisjointWith generically dependent continuant

The core problem is that OBI is using region as a generically dependent continuant, but COB is asserting it to be a subclass of material entity. Who should change, OBI or COB? Could OBI change the axiom to something like:

• genetic characteristics information SubClassOf is about some (region and (part_of some (nucleic acid and (part_of some organism)))

[cmungall]

Slides from COB workshop: https://docs.google.com/presentation/d/1UhWNyZI6_4tc-xR2NXNAIaqBTDgOYLYCAG7emrkGmKY/edit#slide=id.gef3aeb5791_0_630

relevant issue: https://github.com/OBOFoundry/COB/issues/52

[balhoff]

Also want to note this isn't the only unsatisfiable OBI term in Ubergraph, just the only one I've output an explanation for. There are 98; it could be many of them are the same issue.

[cmungall]

looks like this is still an issue?

[jamesaoverton]

Discussed on the OBI call 2023-03-06: OBI would like to follow COB, and so we can put 'region' under 'material entity'. It would be better for SO to clean up their definitions, but that's their problem.

OBI has created two subclasses of 'region':

• http://purl.obolibrary.org/obo/OBI_0000811 'primary structure of DNA macromolecule'
• http://purl.obolibrary.org/obo/OBI_0000845 'primary structure of RNA molecule'

For now at least we will leave these as subclasses of 'region'. We may need to fix that later.