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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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

OriginalspracheEnglisch
TitelProceedings of the 39th International Workshop on Description Logics, DL 2026
Seitenumfang13
PublikationsstatusVeröffentlicht - 2026
Peer-Review-StatusJa

Publikationsreihe

ReiheCEUR workshop proceedings
Band4230
ISSN1613-0073

Workshop

Titel39th International Workshop on Description Logics
KurztitelDL 2026
Veranstaltungsnummer39
Beschreibungco-located with several events as part of FLoC 2026, including KR 2026 and NMR 2026
Dauer17 - 19 Juli 2026
Webseite
OrtInstituto Universitario de Lisboa (ISCTE-IUL)
StadtLisbon
LandPortugal

Externe IDs

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

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • convexity, modal logic, temporal operators