Temporal Query Answering in EL

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column
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
  • 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
  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}