Description Logic Actions with general TBoxes: a Pragmatic Approach

From International Center for Computational Logic

Toggle side column

Description Logic Actions with general TBoxes: a Pragmatic Approach

H. LiuH. Liu,  Carsten LutzCarsten Lutz,  M. MilicicM. Milicic,  Frank WolterFrank Wolter
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
  • 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},
}