Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents

Tim S. Lyon, Jonas Karge

We introduce a constructive method applicable to a large number of description logics (DLs) for establishing the concept-based Beth definability property (CBP) based on sequent sys…