Reasoning with Temporal Properties over Axioms of DL-Lite

Stefan BorgwardtStefan Borgwardt, Marcel LippmannMarcel Lippmann, Veronika ThostVeronika Thost

Download

Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Reasoning with Temporal Properties over Axioms of DL-Lite
Technical Report, Chair of Automata Theory, TU Dresden, volume 14-06, 2014. LTCS-Report

Details
Bibtex

KurzfassungAbstract
Recently, a lot of research has combined description logics (DLs) of the DL-Lite family with temporal formalisms. Such logics are proposed to be used for situation recognition and temporalized ontology-based data access. In this report, we consider DL-Lite-LTL, in which axioms formulated in a member of the DL-Lite family are combined using the operators of propositional linear-time temporal logic (LTL). We consider the satisfiability problem of this logic in the presence of so-called rigid symbols whose interpretation does not change over time. In contrast to more expressive temporalized DLs, the computational complexity of this problem is the same as for LTL, even w.r.t. rigid symbols.
Bemerkung: Note: See http://lat.inf.tu-dresden.de/research/reports.html.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ BoLT-LTCS-13-05,
  address = {Dresden, Germany},
  author = {Stefan {Borgwardt} and Marcel {Lippmann} and Veronika {Thost}},
  institution = {Chair of Automata Theory, TU Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {14-06},
  title = {Reasoning with Temporal Properties over Axioms of \textit{DL-Lite}},
  type = {LTCS-Report},
  year = {2014},
}