In [12], Hofmann introduces a sequent calculus for the description logic EL where the TBoxes allow for circular concept definitions. In this thesis, we apply this frame- work to a family of DLs which allow for circular ...