Finding New Boxes for the Diamonds: On the Behavior of Convex Modal Operators for Temporal Description Logics
From International Center for Computational Logic
Finding New Boxes for the Diamonds: On the Behavior of Convex Modal Operators for Temporal Description Logics
Talk by Stefan Borgwardt
- Location: APB-2026
- Start: 27. August 2026 at 11:00 am
- End: 27. August 2026 at 12:00 pm
- Research group: Automata Theory
- Event series: Research Seminar Logic and AI
- iCal
Temporal extensions of description logics often lead to a substantial increase in the complexity of reasoning. Nevertheless, tractable extensions of EL (ℰℒ) have been developed by restricting the occurrences of temporal concepts. One can even add so-called convex metric temporal diamond operators to EL (ℰℒ), if they are only allowed to occur on the left-hand side of concept inclusions. In the talk the dual convex box operators will be considered for the first time, and the behavior of complex temporal formulas will be investigated in which convex diamond and box operators can be combined via composition, union and intersection. The talk will demonstrate the intricate interplay between these operators, and present decision procedures for checking subsumption between complex temporal formulas.
