Unsatisfiable classes in STATO

[henrietteharmse]

I stumbled across the following unsatisfiable classes in STATO in encountering them in the MS ontology:

Here is the explanation for STATO_0000046 being unsatisfiable:

What had me perplexed is that when reasoning on STATO, these unsatisfiable classes do not show up, when in fact they should.

The reason why these unsatisfiable classes are not showing up in STATO is that STATO are missing some axioms that are not imported from BFO and RO:

BFO: BFO_0000002 DisjointWith BFO_0000003
RO: BFO_0000051 o RO_0000057 SubPropertyOf: RO_0000057

Adding these axioms to STATO and running the reasoner gives the exact same unsatisfiable classes encountered in MS:

[proccaserra]

Hi @henrietteharmse ,

Thank you for reporting the issue and for providing a solution.
I need to dig into why these axioms aren't pulled.

[proccaserra]

• making continuant disjoint from occurrent
• adding SuperProperty of (Chain) 'has part' o 'has participant'on has participant relation
• fixing axioms on 2 plots (Q-Q plot, Lineweaver-Burk plot) and 8 study designs