A Description Logic of Change


We combine the modal logic S5 with the description logic (DL) ALCQI . The resulting multi-dimensional DL S5ALCQI 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 S5ALCQI 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.

Extracted Key Phrases

1 Figure or Table


Citations per Year

57 Citations

Semantic Scholar estimates that this publication has 57 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Artale2006ADL, title={A Description Logic of Change}, author={Alessandro Artale and Carsten Lutz and David Toman}, booktitle={IJCAI}, year={2006} }