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

Tim S. Lyon, Jonas Karge

Browse the full IJCAI paper archive.