Baader, F.; Ganter, B.; Sertkaya, B. & Sattler, U. (2007), Completing description logic knowledge bases using formal concept analysis, in 'Proceedings of the 20th international joint conference on Artifical intelligence' , Morgan Kaufmann Publishers Inc., San Francisco, CA, USA , pp. 230--235 .