UCLAONT: Ontology-Based UML Class Models Verification Tool. - Rajab, Adel; Hafeez, Abdul; Shaikh, Asadullah; Alghamdi, Abdullah; Al Reshan, Mana Saleh; Hamdi, Mohammed; Rajab, Khairan (Applied Sciences (2076-3417), 2022)