A Description Logic of Change
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 218-222.
Abstract
We combine the modal logic S5 with the description logic (DL) ALCQI. The resulting multi-dimensional DL ALCQI_S5 supports reasoning about change by allowing to express that concepts and roles change over time. It cannot, however, discriminate between changes in the past and in the future. Our main technical result is that satisfiability of ALCQI_S5 concepts with respect to general TBoxes (including GCIs) is decidable and 2-ExpTime-complete. In contrast, reasoning in temporal DLs that are able to discriminate between past and future is inherently undecidable. We argue that our logic is sufficient for reasoning about temporal conceptual models with time-stamping constraints.
@inproceedings{ijcai2007p33,
title = {A Description Logic of Change},
author = {Artale, Alessandro and Lutz, Carsten and Toman, David},
booktitle = {Proceedings of the Twentieth International Joint Conference on
Artificial Intelligence, {IJCAI-07}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ramon López de Mántaras},
pages = {218--222},
year = {2007},
url = {https://ijcai.org/proceedings/2007/33},
}
TY - CPAPER TI - A Description Logic of Change AU - Artale, Alessandro AU - Lutz, Carsten AU - Toman, David T2 - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07 PB - International Joint Conferences on Artificial Intelligence PY - 2007 SP - 218 EP - 222 UR - https://ijcai.org/proceedings/2007/33 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
