2024. SMARTEST - Ontological Analysis and Modelling of DTs. The Reasoner. 18, 3 (May 2024).