ML Anthology

A Description Logic of Change

Alessandro Artale, Carsten Lutz, David Toman
IJCAI 2007 pp. 218-223
/ijcai/2007/artale2007ijcai-description/

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.

PDF Semantic Scholar

Cite

Text

Artale et al. "A Description Logic of Change." International Joint Conference on Artificial Intelligence, 2007.

Markdown

[Artale et al. "A Description Logic of Change." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/artale2007ijcai-description/)

BibTeX

@inproceedings{artale2007ijcai-description,
  title     = {{A Description Logic of Change}},
  author    = {Artale, Alessandro and Lutz, Carsten and Toman, David},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {218-223},
  url       = {https://mlanthology.org/ijcai/2007/artale2007ijcai-description/}
}