@PhdThesis{Brandt-PhD-2006,
  author =       {S.~Brandt},
  title =        {Standard and Non-standard reasoning in Description Logics},
  school =       {Institute for Theoretical Computer Science, {TU} Dresden},
  address =      {Germany},
  type =         {Ph.{D}. Dissertation},
  year =         2006
}