On $P$-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $\mathcal{E}\mathcal{L},{\mathcal{E}\mathcal{L}}^{+}$

Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert

We study the problem of $P$-interpolation, where $P$ is a set of binary predicate symbols, for certain classes of local extensions of a base theory. For computing the $P$-interpola…