Sebastiani, F.; Straccia, U. Default Reasoning in a Terminological Logic. Comput. Inform. 2012, 14, 225-251.