A Description Logic of Change

Alessandro ArtaleAlessandro Artale, Carsten LutzCarsten Lutz, David TomanDavid Toman

Download

Alessandro Artale, Carsten Lutz, David Toman
A Description Logic of Change
In Manuela Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 218-223, 2007. AAAI Press

Details
Bibtex

KurzfassungAbstract
We combine the modal logic S5 with the description logic

 (DL) ALCQI. The resulting multi-dimensional DL S5-ALCQI 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 S5-ALCQI 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.

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ ArLuTo-07,
  author = {Alessandro {Artale} and Carsten {Lutz} and David {Toman}},
  booktitle = {Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)},
  editor = {Manuela {Veloso}},
  pages = {218--223},
  publisher = {AAAI Press},
  title = {A Description Logic of Change},
  year = {2007},
}