Temporal Query Answering in the Description Logic EL

From International Center for Computational Logic

Toggle side column

Temporal Query Answering in the Description Logic EL

Stefan BorgwardtStefan Borgwardt,  Veronika ThostVeronika Thost
Stefan Borgwardt, Veronika Thost
Temporal Query Answering in the Description Logic EL
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2819–2825, 2015. AAAI Press
  • KurzfassungAbstract
    Context-aware systems use data collected at runtime to recognize certain predefined situations and trigger adaptations. This can be implemented using ontology-based data access (OBDA), which augments classical query answering in databases by adopting the open-world assumption and including domain knowledge provided by an ontology. We investigate temporalized OBDA w.r.t. ontologies formulated in EL, a description logic that allows for efficient reasoning and is successfully used in practice. We consider 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.
  • Bemerkung: Note: © IJCAI
  • Projekt:Project: HAEC B02
  • Forschungsgruppe:Research Group: Automatentheorie
@inproceedings{BT2015,
  author    = {Stefan Borgwardt and Veronika Thost},
  title     = {Temporal Query Answering in the Description Logic {EL}},
  editor    = {Qiang Yang and Michael Wooldridge},
  booktitle = {Proceedings of the 24th International Joint Conference on
               Artificial Intelligence (IJCAI'15)},
  publisher = {AAAI Press},
  year      = {2015},
  pages     = {2819{\textendash}2825}
}