@inproceedings{baader2007completing,
  abstract = {We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge base and by a domain expert. The use of techniques from Formal Concept Analysis ensures that, on the one hand, the interaction with the expert is kept to a minimum, and, on the other hand, we can show that the extended knowledge base is complete in a certain, well-defined sense.},
  acmid = {1625311},
  address = {San Francisco, CA, USA},
  author = {Baader, Franz and Ganter, Bernhard and Sertkaya, Baris and Sattler, Ulrike},
  booktitle = {Proceedings of the 20th international joint conference on Artifical intelligence},
  interhash = {8ab382f3aa141674412ba7ad33316a9b},
  intrahash = {87f98ae486014ba78690ffa314b67da8},
  location = {Hyderabad, India},
  numpages = {6},
  pages = {230--235},
  publisher = {Morgan Kaufmann Publishers Inc.},
  title = {Completing description logic knowledge bases using formal concept analysis},
  url = {http://dl.acm.org/citation.cfm?id=1625275.1625311},
  year = 2007
}

@article{erne1993distributive,
  abstract = {We study several kinds of distributivity for concept lattices of contexts. In particular, we find necessary and sufficient conditions for a concept lattice to be(1)distributive,(2)a frame (locale, complete Heyting algebra),(3)isomorphic to a topology,(4)completely distributive,(5)superalgebraic (i.e., algebraic and completely distributive).},
  affiliation = {Institut für Mathematik Universität Hannover Hannover Germany},
  author = {Erné, Marcel},
  doi = {10.1007/BF01195382},
  interhash = {f30c769c54f5eb98962742b324651451},
  intrahash = {dd7f97b10532feab21d486ebb6783939},
  issn = {0002-5240},
  issue = {4},
  journal = {Algebra Universalis},
  keyword = {Mathematics and Statistics},
  pages = {538-580},
  publisher = {Birkhäuser Basel},
  title = {Distributive laws for concept lattices},
  url = {http://dx.doi.org/10.1007/BF01195382},
  volume = 30,
  year = 1993
}

@article{GratzerLasker,
  author = {Gr\"atzer, George and Lakser, Henry},
  interhash = {3e9031c3452bda5025b67930098e63da},
  intrahash = {200d680360ef9ab42903d4ea7b947a4b},
  journal = {Trans. Amer. Math. Soc.},
  number = 1,
  pages = {385--405},
  title = {On Complete Congruence Lattices of Complete Lattices},
  volume = 327,
  year = 1991
}

@article{hales1964nonexistence,
  author = {Hales, A. W.},
  interhash = {2e2b85532b56b6caaac29b23e33f972f},
  intrahash = {4d17473cee1aa8c33d821aacf2fbb95c},
  journal = {Fundamentae Mathematica},
  pages = {45-66},
  title = {On the non-existence of free complete Boolean algebras},
  url = {http://matwbn.icm.edu.pl/tresc.php?wyd=1&tom=54},
  volume = 54,
  year = 1964
}

@article{stumme98free,
  author = {Stumme, Gerd},
  comment = {alpha},
  interhash = {c5fb9e79ebca290916dac9d193033a19},
  intrahash = {de157d21efb3d9723fb937be024f84cd},
  journal = {{In:} {O}rder},
  pages = {179-189},
  title = {Free Distributive Completions of Partial Complete Lattices},
  url = {http://www.kde.cs.uni-kassel.de/stumme/papers/2000/SIGKDD_Explorations00.ps},
  volume = 14,
  year = 1998
}