no code implementations • 24 Jun 2014 • Jon Haël Brenas, Rachid Echahed, Martin Strecker
We consider a dynamic extension of the description logic $\mathcal{SROIQ}$.