Temporal Query Answering in EL

Stefan BorgwardtStefan Borgwardt, Veronika ThostVeronika Thost

Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-08, 2015. LTCS-Report

Details
Bibtex

KurzfassungAbstract
Context-aware systems use data about their environment for adaptation at runtime, e.g., for optimization of power consumption or user experience. Ontology-based data access (OBDA) can be used to support the interpretation of the usually large amounts of data. OBDA augments query answering in databases by dropping the closed-world assumption (i.e., the data is not assumed to be complete any more) and by including domain knowledge provided by an ontology. We focus on a recently proposed temporalized query language that allows to combine conjunctive queries with the operators of the well-known propositional temporal logic LTL. In particular, we investigate temporalized OBDA w.r.t. ontologies in the DL EL, which allows for efficient reasoning and has been successfully applied in practice. We study both data and combined complexity of the query entailment problem.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{BT2015,
  author      = {Stefan Borgwardt and Veronika Thost},
  title       = {Temporal Query Answering in {EL}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer
                 Science, Technische Universit{\"{a}}t Dresden},
  year        = {2015}
}