In this dissertation, we study bisimulations and bisimulation-based comparisons in a uniform way for a large class of description logics that extend ALCreg (a variant of propositional dynamic logic) with an arbitrary set of features among I (inverse roles), O (nominals), Q (qualified number restrictions), U (the universal role), Self (local reflexivity of a role) as well as role axioms. We give...
