no code implementations • 10 May 2022 • Ludovic Brieulle, Chan Le Duc, Pascal Vaillant
We present in this paper a reformulation of the usual set-theoretical semantics of the description logic $\mathcal{ALC}$ with general TBoxes by using categorical language.