Interpolation in Knowledge Representation

Jean Christoph Jung; Patrick Koopmann; Matthias Knorr

Interpolation in Knowledge Representation

Jean Christoph Jung
, Patrick Koopmann
, Matthias Knorr

Research output: Working paper / Preprint › Preprint › Academic

1 Downloads (Pure)

Abstract

Craig interpolation and uniform interpolation have many applications in knowledge representation, including explainability, forgetting, modularization and reuse, and even learning. At the same time, many relevant knowledge representation formalisms do in general not have Craig or uniform interpolation, and computing interpolants in practice is challenging. We have a closer look at two prominent knowledge representation formalisms, description logics and logic programming, and discuss theoretical results and practical methods for computing interpolants.

Original language	Undefined/Unknown
Publication status	Published - 9 Dec 2025

Bibliographical note

The article will appear in Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter, editors. Theory and Applications of Craig Interpolation. Ubiquity Press, 2026

Keywords

cs.AI
cs.LO

Access to Document

2512.08833v1

Persistent URL (handle)

Persistent link

Cite this

@techreport{f28b45026ac24dd98ee798d01a1ea033,

title = "Interpolation in Knowledge Representation",

abstract = "Craig interpolation and uniform interpolation have many applications in knowledge representation, including explainability, forgetting, modularization and reuse, and even learning. At the same time, many relevant knowledge representation formalisms do in general not have Craig or uniform interpolation, and computing interpolants in practice is challenging. We have a closer look at two prominent knowledge representation formalisms, description logics and logic programming, and discuss theoretical results and practical methods for computing interpolants.",

keywords = "cs.AI, cs.LO",

author = "Jung, \{Jean Christoph\} and Patrick Koopmann and Matthias Knorr",

note = "The article will appear in Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter, editors. Theory and Applications of Craig Interpolation. Ubiquity Press, 2026",

year = "2025",

month = dec,

day = "9",

language = "Undefined/Unknown",

type = "WorkingPaper",

}

TY - UNPB

T1 - Interpolation in Knowledge Representation

AU - Jung, Jean Christoph

AU - Koopmann, Patrick

AU - Knorr, Matthias

N1 - The article will appear in Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter, editors. Theory and Applications of Craig Interpolation. Ubiquity Press, 2026

PY - 2025/12/9

Y1 - 2025/12/9

N2 - Craig interpolation and uniform interpolation have many applications in knowledge representation, including explainability, forgetting, modularization and reuse, and even learning. At the same time, many relevant knowledge representation formalisms do in general not have Craig or uniform interpolation, and computing interpolants in practice is challenging. We have a closer look at two prominent knowledge representation formalisms, description logics and logic programming, and discuss theoretical results and practical methods for computing interpolants.

AB - Craig interpolation and uniform interpolation have many applications in knowledge representation, including explainability, forgetting, modularization and reuse, and even learning. At the same time, many relevant knowledge representation formalisms do in general not have Craig or uniform interpolation, and computing interpolants in practice is challenging. We have a closer look at two prominent knowledge representation formalisms, description logics and logic programming, and discuss theoretical results and practical methods for computing interpolants.

KW - cs.AI

KW - cs.LO

M3 - Preprint

BT - Interpolation in Knowledge Representation

ER -