Baader, Franz ; Ganter, Bernhard ; Sertkaya, Baris ; Sattler, Ulrike: Completing description logic knowledge bases using formal concept analysis. In: Proceedings of the 20th international joint conference on Artifical intelligence. San Francisco, CA, USA : Morgan Kaufmann Publishers Inc., 2007, S. 230--235