Track:
Papers Submitted to the Workshop
Downloads:
Abstract:
In this paper, we will refer to semantically deeper extensions of description logics, and we will point out the expressivity and the computational problems of such extensions in the current state of the art.