Projection in a Description Logic of Context with Actions

13 pages•Published: December 10, 2019

Satyadharma Tirtarasa and Benjamin Zarrieß

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.

Keyphrases: description logic, reasoning about action, two dimensional description logic

In: Diego Calvanese and Luca Iocchi (editors). GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, vol 65, pages 81-93.

Links:	https://easychair.org/publications/paper/wJkN
	https://doi.org/10.29007/s7cm

BibTeX entry

@inproceedings{GCAI2019:Projection_Description_Logic_Context,
  author    = {Satyadharma Tirtarasa and Benjamin Zarrieß},
  title     = {Projection in a Description Logic of Context with Actions},
  booktitle = {GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/wJkN},
  doi       = {10.29007/s7cm},
  pages     = {81-93},
  year      = {2019}}

Download PDF Open PDF in browser