Timothy S. Lyon

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

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 systems. Using the highly expressive DL RIQ as a case study, we introduce novel sequent calculi for RIQ-ontologies and show…