On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics 𝓔𝓛, 𝓔𝓛+
29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Bd. LNCS 14132. Springer 2023 S. 419 - 437
Erscheinungsjahr: 2023
Publikationstyp: Zeitschriftenaufsatz (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-031-38499-8\_24
| Geprüft | Bibliothek |
Inhaltszusammenfassung
We study the P-interpolation property for certain local theory extensions, and use these results for proving ≤-interpolation in classes of semilattices with monotone operators. For computing the ≤-interpolating terms, we use a hierarchic approach. We use these results for the study of ⊑-interpolation in the description logics EL and EL+.
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Informatik
