Classifying with ELK 0.5, which supports property ranges, reveals a pretty large number of unsatisfiable classes (5590) when the full RO is imported into Uberon (release http://purl.obolibrary.org/obo/uberon/releases/2018-07-30/ext.owl). You've got to import RO to see the problems.