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}$.
no code implementations • 17 Apr 2019 • Thierry Boy de la Tour, Rachid Echahed
We address the problem of defining graph transformations by the simultaneous application of direct transformations even when these cannot be applied independently of each other.