Ontological Reasoning for Enhanced Inference in Commonsense Knowledge Systems Using Description Logics and OWL. TAIMLCS 2020, 5 (3), 1-13.