Comonadic Semantics for Description Logics Games

From International Center for Computational Logic

Toggle side column

Comonadic Semantics for Description Logics Games

Bartosz BednarczykBartosz Bednarczyk,  Mateusz UrbanczykMateusz Urbanczyk
Comonadic Semantics for Description Logics Games


Bartosz Bednarczyk, Mateusz Urbanczyk
Comonadic Semantics for Description Logics Games
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), to appear
  • KurzfassungAbstract
    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 the 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 monads, which we leverage to encapsulate additional capabilities within the bisimulation games in a

    compositional manner.
  • Projekt:Project: DeciGUT
  • Forschungsgruppe:Research Group: Computational Logic
@inproceedings{BU2022,
  author    = {Bartosz Bednarczyk and Mateusz Urbanczyk},
  title     = {Comonadic Semantics for Description Logics Games},
  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},
  month     = {August}
}