Temporal Query Answering in the Description Logic EL

Stefan BorgwardtStefan Borgwardt, Veronika ThostVeronika Thost

Download

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

Details
Bibtex

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: AutomatentheorieAutomata Theory

@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}
}