Uniform and Modular Sequent Systems for Description Logics

From International Center for Computational Logic

Toggle side column

Uniform and Modular Sequent Systems for Description Logics

Tim LyonTim Lyon,  Jonas KargeJonas Karge
Tim Lyon, Jonas Karge
Uniform and Modular Sequent Systems for Description Logics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), 2022
  • KurzfassungAbstract
    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 description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of rules.
  • Bemerkung: Note: to appear
  • Projekt:Project: DeciGUT
  • Forschungsgruppe:Research Group: Computational LogicComputational Logic
@inproceedings{LK2022,
  author    = {Tim Lyon and Jonas Karge},
  title     = {Uniform and Modular Sequent Systems for Description Logics},
  editor    = {Ofer Arieli and Martin Homola and Jean Christoph Jung and
               Marie-Laure Mugnier},
  booktitle = {Proceedings of the 35th International Workshop on Description
               Logics (DL 2022)},
  year      = {2022}
}