Temporal Query Answering in EL
Aus International Center for Computational Logic
Temporal Query Answering in EL
Vortrag von Veronika Thost
- Veranstaltungsort: APB 3105
- Beginn: 10. August 2015 um 14:50
- Ende: 10. August 2015 um 15:50
- 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.
