@TechReport{BGSS-LTCS-06-02,
  author = {Franz Baader and Bernhard Ganter and Ulrike Sattler and Baris Sertkaya},
  title = {Completing Description Logic Knowledge Bases using Formal
           Concept Analysis},
  institution = {Chair for Automata Theory, Institute for Theoretical
                 Computer Science, Dresden University of Technology},
  year = 2006,
  type = {LTCS-Report},
  number = {LTCS-06-02},
  address = {Germany},
  note = {See
          http://lat.inf.tu-dresden.de/research/reports.html.},
}
