{"type":"ScholarlyArticle","title":"Temporal Query Answering in the Description Logic EL","authors":[{"name":"Stefan Borgwardt","slug":"stefan-borgwardt","given":"Stefan","family":"Borgwardt","affiliation":""},{"name":"Veronika Thost","slug":"veronika-thost","given":"Veronika","family":"Thost","affiliation":""}],"abstract":"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.","doi":null,"url":"https://ijcai.org/proceedings/2015/399","pdf":"https://ijcai.org/proceedings/2015/0399.pdf","markdown":"https://ijcai.org/proceedings/2015/399.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/399","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":399,"pages":{"first":2819,"last":2824},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}