Description Logic TBoxes: Model-Theoretic Characterizations and