LTL over Description Logic Axioms

Franz BaaderFranz Baader, Silvio GhilardiSilvio Ghilardi, Carsten LutzCarsten Lutz

Download

Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 08-01, 2008. LTCS-Report

Details
Bibtex

KurzfassungAbstract
Most of the research on temporalized Description Logics (DLs) has concentrated on the case where temporal operators can occur within DL concept descriptions. In this setting, reasoning usually becomes quite hard if rigid roles, i.e., roles whose interpretation does not change over time, are available. In this paper, we consider the case where temporal operators are allowed to occur only in front of DL axioms (i.e., ABox assertions and general concept inclusion axioms), but not inside of concepts descriptions. As the temporal component, we use linear temporal logic (LTL) and in the DL component we consider the basic DL ALC. We show that reasoning in the presence of rigid roles becomes considerably simpler in this setting.
Bemerkung: Note: See http://lat.inf.tu-dresden.de/research/reports.html.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ LTCS-Report08-01,
  address = {Germany},
  author = {Franz {Baader} and Silvio {Ghilardi} and Carsten {Lutz}},
  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 = {08-01},
  title = {{LTL} over Description Logic Axioms},
  type = {LTCS-Report},
  year = {2008},
}