Reasoning about Actions using Description Logics with general TBoxes

H. LiuH. Liu, Carsten LutzCarsten Lutz, M. MilicicM. Milicic, Frank WolterFrank Wolter

Download

H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Reasoning about Actions using Description Logics with general TBoxes
In Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa, eds., Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), volume 4160 of Lecture Notes in Artificial Intelligence, 266-279, 2006. Springer

Details
Bibtex

KurzfassungAbstract
Action formalisms based on description logics (DLs) have recently been introduced as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent Calculus. However, existing DL action formalisms fail to include general TBoxes, which are the standard tool for formalising ontologies in modern description logics. We define a DL action formalism that admits general TBoxes, propose an approach to addressing the ramification problem that is introduced in this way, show that our formalism is decidable and perform a detailed investigation of its computational complexity.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ LiLuMiWo-JELIA-06,
  author = {H. {Liu} and C. {Lutz} and M. {Milicic} and F. {Wolter}},
  booktitle = {Proceedings of the 10th European Conference on Logics in Artificial Intelligence {(JELIA 2006)}},
  editor = {Michael {Fisher} and Wiebe van der {Hoek} and Boris {Konev} and Alexei {Lisitsa}},
  pages = {266--279},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Reasoning about Actions using Description Logics with general {TBoxes}},
  volume = {4160},
  year = {2006},
}