SMARTEST - Ontological Analysis and Modelling of DTs (The Reasoner, 2024)