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…