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
Contributors
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 language | English |
|---|---|
| Title of host publication | Proceedings of the 39th International Workshop on Description Logics, DL 2026 |
| Number of pages | 13 |
| Publication status | Published - 2026 |
| Peer-reviewed | Yes |
Publication series
| Series | CEUR workshop proceedings |
|---|---|
| Volume | 4230 |
| ISSN | 1613-0073 |
Workshop
| Title | 39th International Workshop on Description Logics |
|---|---|
| Abbreviated title | DL 2026 |
| Conference number | 39 |
| Description | co-located with several events as part of FLoC 2026, including KR 2026 and NMR 2026 |
| Duration | 17 - 19 July 2026 |
| Website | |
| Location | Instituto Universitario de Lisboa (ISCTE-IUL) |
| City | Lisbon |
| Country | Portugal |
External IDs
| ORCID | /0000-0001-9936-0943/work/228956495 |
|---|
Keywords
ASJC Scopus subject areas
Keywords
- convexity, modal logic, temporal operators