@incollection{BaSaJS60,
        author = {Baader, F. and Horrocks, I. and Sattler, U.},
        title = {Description Logics as Ontology Languages for the Semantic Web},
        booktitle = {Mechanizing Mathematical Reasoning: Essays in Honor of J{\"o}rg H. Siekmann on the Occasion of His 60th Birthday},
        editor = {D. Hutter and W. Stephan},
        publisher =    {Springer-Verlag},
        series =       {Lecture Notes in Artificial Intelligence},
        volume =       {2605},
        pages = {228--248},
        year = {2005},
        springer = {yes},
}