Projection in a Description Logic of Context with Actions
Projection in a Description Logic of Context with Actions
Vortrag von Satyadharma Tirtarasa
- Veranstaltungsort: APB 3027
- Beginn: 6. Juni 2019 um 13:00
- Ende: 6. Juni 2019 um 13:45
- Forschungsgruppe: Automatentheorie
- Event series: KBS Seminar
- iCal
Abstract: Projection is the problem of checking whether the execution of a given sequence of actions will achieve its goal starting from some initial state. In this paper, we study a setting where we combine a two-dimensional Description Logic of context (ConDL) with an action formalism. We choose a well-studied ConDL where both: the possible states of a dynamical system itself (object level) and also different context-dependent views on this system state (context level) are organised in relational structures and can be described using usual DL constructs. To represent how such a system and its views evolve we introduce a suitable action formalism. It allows one to describe change on both levels. Furthermore, the observable changes on the object level due to an action execution can also be context-dependent. We show that the formalism is well-behaved in the sense that projection has the same complexity as standard reasoning tasks in case ALCO is the underlying DL.
