@phdthesis{Schon2016,
  author      = {Claudia Schon},
  title       = {Techniques for optimized reasoning in description logic knowledge bases},
  type        = {doctoralthesis},
  pages       = {xv, 202},
  school      = {Universit{\"a}t Koblenz, Universit{\"a}tsbibliothek},
  year        = {2016},
}