if (sub.isOWLBottomDataProperty() || sub.isOWLBottomObjectProperty() || getUnsatisfiableProperties().contains(sub)) { return true;
&& (((OWLQuantifiedRestriction) sub).getProperty().isOWLBottomObjectProperty() ||((OWLQuantifiedRestriction) sub).getProperty().isOWLBottomDataProperty() || getUnsatisfiableProperties().contains(((OWLQuantifiedRestriction) sub).getProperty()))) { return true;