Search Results for author: Martin Strecker

Found 1 papers, 0 papers with code

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.