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