Franz Baader Bernhard Ganter Ulrike Sattler Baris Sertkaya Completing Description Logic Knowledge Bases using Formal Concept Analysis. 2007 OWLED http://ceur-ws.org/Vol-258/paper16.pdf conf/owled/2007 db/conf/owled/owled2007.html#BaaderGSS07