Categorical Semantics for Model Comparison Games for Description Logics

TL;DR

This paper develops a categorical framework using comonads to analyze model comparison games in description logics, extending existing modal comonads with new capabilities for expressive sublogics.

Contribution

It introduces a novel categorical approach with game comonads for expressive description logics, enhancing the analysis of bisimulation games.

Findings

Extended modal comonad for description logics

Use of relative comonads for compositional game analysis

Framework applicable to various expressive sublogics

Abstract

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.