SROIQsigma is decidable

Jon Haël Brenas, Rachid Echahed, Martin Strecker

We consider a dynamic extension of the description logic $\mathcal{S}\mathcal{R}\mathcal{O}\mathcal{I}\mathcal{Q}$. This means that interpretations could evolve thanks to some actions such as addition and/or deletion of…