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