Franz Baader Bernhard Ganter Baris Sertkaya Ulrike Sattler Completing Description Logic Knowledge Bases Using Formal Concept Analysis. 230-235 2007 conf/ijcai/2007 IJCAI http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-035.pdf db/conf/ijcai/ijcai2007.html#BaaderGSS07