Description Logic Actions with general {T}{B}oxes: a Pragmatic Approach

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

Download

H. Liu, C. Lutz, M. Milicic, F. Wolter
Description Logic Actions with general {T}{B}oxes: a Pragmatic Approach
Proceedings of the 2006 International Workshop on Description Logics ({DL2006}), 2006

Details
Bibtex

KurzfassungAbstract
We recently proposed action formalisms based on description logics
(DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent Calculus. One short-coming of our initial proposal is that the considered formalisms admit only acyclic TBoxes, but not GCIs. In this paper, we define DL action formalisms that admit GCIs, propose a pragmatic approach to addressing the ramification problem that is introduced in this way, show that our
formalim is decidable and investigate its computational complexity.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ LiLuMiWo-DL-06,
  author = {H. {Liu} and C. {Lutz} and M. {Milicic} and F. {Wolter}},
  booktitle = {Proceedings of the 2006 International Workshop on Description Logics ({DL2006})},
  title = {Description Logic Actions with general {T}{B}oxes: a Pragmatic Approach},
  year = {2006},
}