Sebastiani, F., & Straccia, U. (2012). Default Reasoning in a Terminological Logic. COMPUTING AND INFORMATICS, 14(3), 225–251. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/228