Description Logic Actions with general TBoxes: a Pragmatic Approach

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

Download

H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Description Logic Actions with general TBoxes: 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},
}