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
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-03, 2006. LTCS-Report

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 as provided by almost all state-of-the-art description logics. We define a DL action formalism that admits general TBoxes, propose a pragmatic approach to addressing the ramification problem that is introduced in this way, show that our formalim is decidable and perform a detailed investigation of its computational complexity.
Bemerkung: Note: See http://lat.inf.tu-dresden.de/research/reports.html.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ LiLuMiWo-LTCS-06-03,
  address = {Germany},
  author = {H. {Liu} and C. {Lutz} and M. {Milicic} and F. {Wolter}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {LTCS-06-03},
  title = {Description Logic Actions with general {T}{B}oxes: a Pragmatic Approach},
  type = {LTCS-Report},
  year = {2006},
}