Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
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…
cs.LO2022
Uniform and Modular Sequent Systems for Description Logics
Tim Lyon, Jonas Karge
We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common d…