Abstract
In this paper, we will refer to semantically deeper extensions of description logics, and we will point out the expressivity - see [Artale et al., 1996] for a discussion about the conceptual modeling issues involving part- whole relations - and the computational problems of such extensions in the current state of the art.