论文标题
描述逻辑的统一和模块化序列系统
Uniform and Modular Sequent Systems for Description Logics
论文作者
论文摘要
我们介绍了一个框架，该框架允许构建序列系统，以扩展ALC的表达描述逻辑。我们的框架不仅涵盖了各种各样的常见描述逻辑，而且还允许为使用特殊公式的逻辑扩展获得序列系统，我们称之为“角色关系公理”。所有序列系统都是合理的，完整的，并且具有有利的属性，例如具有共同结构规则的高度可接受性和规则的高度具有可逆性。
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.
