Sebastiani, F., & Straccia, U. (2012). Default Reasoning in a Terminological Logic. Computing and Informatics, 14(3), 225–251. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/228