Baader, Franz, Ganter, Bernhard, Sertkaya, Baris and Sattler, Ulrike. "Completing description logic knowledge bases using formal concept analysis." Paper presented at the meeting of the Proceedings of the 20th international joint conference on Artifical intelligence, San Francisco, CA, USA, 2007.