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 条

[21] Interpolation in a ball with a minimum value of the L p -Norm of the Laplace operator
Novikov, S. I.
PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS, 2012, 277 : 152 - 160
[22] Lacunary Pál-Type Interpolation and Over-Convergence
Marcel G. de Bruin
Ambikeshwar Sharma
Computational Methods and Function Theory, 2004, 3 (1) : 305 - 323
[23] A NOTE ON THE SHARPNESS OF WALSH,J.L. THEOREM AND ITS EXTENSIONS FOR INTERPOLATION IN THE ROOTS OF UNITY
SAFF, EB
VARGA, RS
ACTA MATHEMATICA HUNGARICA, 1983, 41 (3-4) : 371 - 377
[24] Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics EL, EL+ and their Extensions with n-ary Roles and Numerical
Sofronie-Stokkermans, Viorica
FUNDAMENTA INFORMATICAE, 2017, 156 (3-4) : 361 - 411
[25] P-ADIC INTERPOLATION OF SPECIAL VALUES OF HECKE L-FUNCTIONS
COLMEZ, P
SCHNEPS, L
COMPOSITIO MATHEMATICA, 1992, 82 (02) : 143 - 187
[26] L-p-error bounds for Hermite interpolation and the associated Wirtinger inequalities
Waldron, S
CONSTRUCTIVE APPROXIMATION, 1997, 13 (04) : 461 - 479
[27] Interpolation in a ball with a minimum value of the L-p-norm of the Laplace operator
Novikov, S. I.
TRUDY INSTITUTA MATEMATIKI I MEKHANIKI URO RAN, 2011, 17 (03): : 258 - 265
[28] Interpolation of Beilinson–Kato elements and p-adic L-functions
Denis Benois
Kâzım Büyükboduk
Annales mathématiques du Québec, 2022, 46 : 231 - 287
[29] Necessary conditions for L(p) convergence of Lagrange interpolation on an arbitrary system of nodes
Shi, YG
JOURNAL OF APPROXIMATION THEORY, 1996, 85 (01) : 16 - 26
[30] Approximable W A P- and L U C-interpolation sets
Filali, M.
Galindo, J.
ADVANCES IN MATHEMATICS, 2013, 233 (01) : 87 - 114

← 1 2 3 4 5 →