There are 4 unsatisfiable classes in SRPDIO

[dillerm]

I ran the HermiT reasoner on SRPDIO and it identified the following four classes as unsatisfiable:

• http://purl.obolibrary.org/obo/SRPDIO_4000012
• http://purl.obolibrary.org/obo/SRPDIO_4000013
• http://purl.obolibrary.org/obo/SRPDIO_4000014
• http://purl.obolibrary.org/obo/SRPDIO_4000015

I recommend looking at the classes in Protege to identify any contradictions in the asserted axioms for each class.