@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.",
}