@Incollection{BaHS07,
       author = {F. Baader and I. Horrocks and U. Sattler},
       title = {Description Logics},
       booktitle = {Handbook of Knowledge Representation},
       editor = {Frank van Harmelen and Vladimir Lifschitz and Bruce Porter},
       publisher = {Elsevier},
       pages = {135--179},
       year = {2007}
}