Reasoning about Actions using Description Logics with general {TBoxes}

H. LiuH. Liu, C. LutzC. Lutz, M. MilicicM. Milicic, F. WolterF. Wolter

Download

H. Liu, C. Lutz, M. Milicic, F. 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},
}