Finding New Boxes for the Diamonds: On the Behavior of Convex Modal Operators for Temporal Description Logics

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Abstract

Temporal extensions of description logics often lead to a substantial increase in the complexity of reasoning. Nevertheless, tractable extensions of ℰℒ have been developed by restricting the occurrences of temporal concepts. One can even add so-called convex metric temporal diamond operators to ℰℒ, if they are only allowed to occur on the left-hand side of concept inclusions. In this paper, we consider the dual convex box operators for the first time, and investigate the behavior of complex temporal formulas in which convex diamond and box operators can be combined via composition, union and intersection. We demonstrate the intricate interplay between these operators, and present decision procedures for checking subsumption between complex temporal formulas.

Details

Original languageEnglish
Title of host publicationProceedings of the 39th International Workshop on Description Logics, DL 2026
Number of pages13
Publication statusPublished - 2026
Peer-reviewedYes

Publication series

SeriesCEUR workshop proceedings
Volume4230
ISSN1613-0073

Workshop

Title39th International Workshop on Description Logics
Abbreviated titleDL 2026
Conference number39
Descriptionco-located with several events as part of FLoC 2026, including KR 2026 and NMR 2026
Duration17 - 19 July 2026
Website
LocationInstituto Universitario de Lisboa (ISCTE-IUL)
CityLisbon
CountryPortugal

External IDs

ORCID /0000-0001-9936-0943/work/228956495

Keywords

ASJC Scopus subject areas

Keywords

  • convexity, modal logic, temporal operators