@Inproceedings{baader95computing,
  author = {Franz Baader},
  title  = {Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology},

  year   = {1995},
  number = {},
  url    = {citeseer.ist.psu.edu/baader95computing.html},

  const  = {\ text}
}
@Inproceedings{baader07completing,
  author = {Franz Baader and Bernhard Ganter and Baris Sertkaya and Ulrike Sattler},
  title  = {Completing Description Logic Knowledge Bases Using Formal Concept Analysis},

  year   = {2007},
  number = {},
  url    = {http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf},

  const  = {\ text}
}
@Inproceedings{baader07completing,
  author = {Franz Baader and Bernhard Ganter and Baris Sertkaya and Ulrike Sattler},
  title  = {Completing Description Logic Knowledge Bases Using Formal Concept Analysis.},

  year   = {2007},
  number = {},
  url    = {http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf},

  const  = {\ text}
}
@Book{rudolph2006relational,
  author = {Sebastian Rudolph},
  title  = {Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification},

  year   = {2006},
  number = {},
  url    = {\url{http://hsss.slub-dresden.de/documents/1172682174599-1228/1172682174599-1228.pdf}},

  const  = {\ text}
}
@Inproceedings{stumme96concept,
  author = {Gerd Stumme},
  title  = {The Concept Classification of a Terminology Extended by Conjunction and Disjunction},

  year   = {1996},
  number = {},
  url    = {http://www.kde.cs.uni-kassel.de/stumme/papers/1996/P1829-PRICAI96.pdf},

  const  = {\ text}
}