Locality and applications to subsumption testing and interpolation in $\mathcal{E}\mathcal{L}$ and some of its extensions

Viorica Sofronie-Stokkermans

In this paper we show that subsumption problems in lightweight description logics (such as $\mathcal{E}\mathcal{L}$ and ${\mathcal{E}\mathcal{L}}^{+}$) can be expressed as uniform word problems in classes…