Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics -- Exploiting