论文标题
模型比较游戏说明逻辑的分类语义
Categorical Semantics for Model Comparison Games for Description Logics
论文作者
论文摘要
Abramsky等人最近启动了一种研究模型比较游戏的分类方法。在这项工作中，我们分析了在描述逻辑的上下文中自然出现的游戏，并用合适的游戏comonads补充它们。更确切地说，我们考虑了Alcelfibo的表达共司额，即，与倒置，名义，安全的布尔角色组合和自动操作员的任何组合扩展了ALC的逻辑。我们的施工增强并修改了艾布拉姆斯基和沙阿所谓的模态Comonad。我们采用的方法在很大程度上依赖于使用相对共同的使用，我们利用这些方法以组成方式将其封装在双仿真游戏中。
A categorical approach to study model comparison games in terms of comonads was recently initiated by Abramsky et al. In this work, we analyse games that appear naturally in the context of description logics and supplement them with suitable game comonads. More precisely, we consider expressive sublogics of ALCSelfIbO, namely, the logics that extend ALC with any combination of inverses, nominals, safe boolean roles combinations, and Self operator. Our construction augments and modifies the so-called modal comonad by Abramsky and Shah. The approach that we took heavily relies on the use of relative comonads, which we leverage to encapsulate additional capabilities within the bisimulation games in a compositional manner.
