ALC+T: Reasoning About Typicality in Description Logics