SMARTEST - Ontological Analysis and Modelling of DTs. The Reasoner, v. 18, n. 3, 1 May2024.