Uniform and Modular Sequent Systems for Description Logics
Logic in Computer Science
2022-06-22 v1 Artificial Intelligence
Databases
Logic
Abstract
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.
Keywords
Cite
@article{arxiv.2206.09020,
title = {Uniform and Modular Sequent Systems for Description Logics},
author = {Tim Lyon and Jonas Karge},
journal= {arXiv preprint arXiv:2206.09020},
year = {2022}
}
Comments
Accepted to the 35th International Workshop on Description Logics (DL 2022). Appended version