On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics εL, εL+

被引：0
|
作者：
Peuter, Dennis [1 ]
Sofronie-Stokkermans, Viorica [1 ]
Thunert, Sebastian [1 ]
机构：
[1] Univ Koblenz, Koblenz, Germany
来源：
AUTOMATED DEDUCTION, CADE 29 | 2023年 / 14132卷
关键词：
D O I：
10.1007/978-3-031-38499-8_24
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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 (sic)-interpolation in the description logics epsilon L and epsilon L+.
引用
收藏
页码：419 / 437
页数：19
相关论文
共 50 条
12345