@Incollection{BaaderLutz-MLHandbook-06,
        author = {F. Baader and C. Lutz},
        title = {Description Logic},
        booktitle = {The Handbook of Modal Logic},
        editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
        publisher = {Elsevier},
        pages = {757--820},
        year = {2006}
}