Search Results for author: Rachid Echahed

Found 2 papers, 0 papers with code

True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans

no code implementations17 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.

SROIQsigma is decidable

no code implementations24 Jun 2014 Jon Haël Brenas, Rachid Echahed, Martin Strecker

We consider a dynamic extension of the description logic $\mathcal{SROIQ}$.

Cannot find the paper you are looking for? You can Submit a new open access paper.