Model Comparison Games for Horn Description Logics

04/15/2019
by   Jean Christoph Jung, et al.
0

Horn description logics are syntactically defined fragments of standard description logics that fall within the Horn fragment of first-order logic and for which ontology-mediated query answering is in PTime for data complexity. They were independently introduced in modal logic to capture the intersection of Horn first-order logic with modal logic. In this paper, we introduce model comparison games for the basic Horn description logic hornALC (corresponding to the basic Horn modal logic) and use them to obtain an Ehrenfeucht-Fraïssé type definability result and a van Benthem style expressive completeness result for hornALC. We also establish a finite model theory version of the latter. The Ehrenfeucht-Fraïssé type definability result is used to show that checking hornALC indistinguishability of models is ExpTime-complete, which is in sharp contrast to ALC indistinguishability (i.e., bisimulation equivalence) checkable in PTime. In addition, we explore the behavior of Horn fragments of more expressive description and modal logics by defining a Horn guarded fragment of first-order logic and introducing model comparison games for it.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/23/2019

Two variable fragment of Term Modal Logic

Term modal logics (TML) are modal logics with unboundedly many modalitie...
research
06/29/2021

On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics

During the last decades, a lot of effort was put into identifying decida...
research
11/11/2022

Categorical Semantics for Model Comparison Games for Description Logics

A categorical approach to study model comparison games in terms of comon...
research
07/18/2023

A Modal Logic with n-ary Relations Over Paths: Comonadic Semantics and Expressivity

Game comonads give a categorical semantics for comparison games in Finit...
research
03/08/2021

The Modal Logic of Stepwise Removal

We investigate the modal logic of stepwise removal of objects, both for ...
research
06/14/2022

How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic

The importance of taking individual, potentially conflicting perspective...
research
01/06/2021

Logics of First-Order Constraints – A Category Independent Approach

Reflecting our experiences in areas, like Algebraic Specifications, Abst...

Please sign up or login with your details

Forgot password? Click here to reset