Towards an Ontological Approach for Verifying the Well-Formedness of Training Programs. - Thi-Hoa-Hue Nguyen; Thai-Cuong Nguyen (ACIIDS (Companion 1), 2024)