# SROIQsigma is decidable

24 Jun 2014Jon Haël BrenasRachid EchahedMartin Strecker

We consider a dynamic extension of the description logic $\mathcal{SROIQ}$. This means that interpretations could evolve thanks to some actions such as addition and/or deletion of an element (respectively, a pair of elements) of a concept (respectively, of a role)... (read more)

PDF Abstract

No code implementations yet. Submit your code now