Με βάση τα προηγμένα δομικά στοιχεία της OWL, είναι δυνατό να συμπεράνουμε ότι μια κλάση δεν έχει μέλη, ώστε αυτή να είναι μη-ικανοποιήσιμη.
