Using Description Logic and Abox Abduction to Capture Medical Diagnosis. - Mariam Obeid; Zeinab Obeid; Asma Moubaiddin; Nadim Obeid (IEA/AIE, 2019)