Completing Description Logic Knowledge Bases Using Formal Concept
Analysis
F. Baader, B. Ganter, B. Sertkaya, and U. Sattler. Proceedings of the 20th International Joint Conference on Artificial
Intelligence (IJCAI), page 230--235. AAAI Press, (2007)