Ulrike Sattler: Reasoning in Description Logics: Basics, Extensions, and Relatives. Reasoning Web 2007: 154-182