Temporal Query Answering in EL
From International Center for Computational Logic
Temporal Query Answering in EL
Talk by Veronika Thost
- Location: APB 3105
- Start: 10. August 2015 at 2:50 pm
- End: 10. August 2015 at 3:50 pm
- Event series: KBS Seminar
- iCal
Ontology-based query answering (OBQA) augments classical query answering in databases by adopting the open-world assumption and including domain knowledge provided by an ontology. We investigate temporalized OBQA w.r.t. ontologies formulated in EL, a description logic that allows for efficient reasoning and is successfully applied in practice. We specifically focus on a recently proposed temporalized query language that combines conjunctive queries with the operators of propositional linear temporal logic (LTL), and study both data and combined complexity of query entailment in this setting. We also analyze the satisfiability problem in the similar formalism EL-LTL.
