## Adding Context to Knowledge and Action Bases

**Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, and Ario
Santoso**
*Workshop Notes of the 6th Int. Workshop on Acquisition,
Representation and Reasoning about Context with Logic (ARCOE-Logic
2014). Volume arXiv:1412.7965 of CoRR Technical Report.* 2014.
Available at http://arxiv.org/abs/1412.7965.

Knowledge and Action Bases (KABs) have been recently proposed as
a formal framework to capture the dynamics of systems which
manipulate Description Logic (DL) Knowledge Bases (KBs) through
action execution. In this work, we enrich the KAB setting with
contextual information, making use of different context dimensions.
On the one hand, context is determined by the environment using
context-changing actions that make use of the current state of the
KB and the current context. On the other hand, it affects the set
of TBox assertions that are relevant at each time point, and that
have to be considered when processing queries posed over the KAB.
Here we extend to our enriched setting the results on verification
of rich temporal properties expressed in mu-calculus, which had
been established for standard KABs. Specifically, we show that
under a run-boundedness condition, verification stays
decidable.

@inproceedings{ARCOE-2014,
title = "Adding Context to Knowledge and Action Bases",
year = "2014",
author = "Diego Calvanese and Ismail Ilkan Ceylan and Marco Montali and
Ario Santoso",
booktitle = "Workshop Notes of the 6th Int. Workshop on Acquisition,
Representation and Reasoning about Context with Logic
(ARCOE-Logic 2014)",
pages = "25--36",
volume = "arXiv:1412.7965",
publisher = "arXiv.org e-Print archive",
series = "CoRR Technical Report",
note = "Available at http://arxiv.org/abs/1412.7965",
}

pdf
url