F. Sebastiani and U. Straccia, “Default Reasoning in a Terminological Logic”, Comput. Inform., vol. 14, no. 3, pp. 225–251, Jan. 2012.