Thomas Andreas Meyer Kevin Lee Richard Booth Jeff Z. Pan Finding Maximally Satisfiable Terminologies for the Description Logic ALC. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#MeyerLBP06