Sebastiani, F. and Straccia, U. 2012. Default Reasoning in a Terminological Logic. COMPUTING AND INFORMATICS. 14, 3 (Jan. 2012), 225–251.