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
Beitragende
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
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 39th International Workshop on Description Logics, DL 2026 |
| Seitenumfang | 13 |
| Publikationsstatus | Veröffentlicht - 2026 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | CEUR workshop proceedings |
|---|---|
| Band | 4230 |
| ISSN | 1613-0073 |
Workshop
| Titel | 39th International Workshop on Description Logics |
|---|---|
| Kurztitel | DL 2026 |
| Veranstaltungsnummer | 39 |
| Beschreibung | co-located with several events as part of FLoC 2026, including KR 2026 and NMR 2026 |
| Dauer | 17 - 19 Juli 2026 |
| Webseite | |
| Ort | Instituto Universitario de Lisboa (ISCTE-IUL) |
| Stadt | Lisbon |
| Land | Portugal |
Externe IDs
| ORCID | /0000-0001-9936-0943/work/228956495 |
|---|
Schlagworte
ASJC Scopus Sachgebiete
- Allgemeine Computerwissenschaft - convexity, modal logic, temporal operators
Schlagwörter
- convexity, modal logic, temporal operators