DRON:00000073 unsatisfiable

matentzn commented 3 years ago

The offending axiom was in dron-upper.owl:

SubClassOf(<http://purl.obolibrary.org/obo/DRON_00000073> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000054> <http://purl.obolibrary.org/obo/GO_0008150>) ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002211> <http://purl.obolibrary.org/obo/GO_0050886>)))

I removed this axiom now. The problem is this:

hormone therapeutic function SubClassOf (realized in some biological_process) and (regulates some endocrine process) [dron.owl]
realized in Domain realizable entity [dron.owl] (realizable entity is a continuant)
regulates Domain process [dron.owl] (process is an occurrent)
contiunants and occurrents are disjoint

This is fixed in Dron now, but should be reviewed and closed by the Dron committee.

sjbost commented 2 years ago

@hoganwr will correct syntax: hormone therapeutic function SubClassOf (realized in some (biological_process and (regulates some endocrine process))) [dron.owl]

sjbost commented 1 year ago

@hoganwr will aim to resolve by 12/15

mcwdsi / dron

DRON:00000073 unsatisfiable #2