Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles

Franz BaaderFranz Baader, Stefan BorgwardtStefan Borgwardt, Marcel LippmannMarcel Lippmann

Download

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles
Technical Report, Chair for Automata Theory, Technische Universität Dresden, volume 15-17, 2015. LTCS-Report

Details
Bibtex

KurzfassungAbstract
In Ontology-Based Data Access (OBDA), user queries are evaluated over a set of facts under the open world assumption, while taking into account background knowledge given in the form of a Description Logic (DL) ontology. In order to deal with dynamically changing data sources, temporal conjunctive queries (TCQs) have recently been proposed as a useful extension of OBDA to support the processing of temporal information. We extend the existing complexity analysis of TCQ entailment to very expressive DLs underlying the OWL 2 standard, and in contrast to previous work also allow for queries containing transitive roles.
Projekt:Project: HAEC B02
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{BBL2015,
  author      = {Franz Baader and Stefan Borgwardt and Marcel Lippmann},
  title       = {Temporal Conjunctive Queries in Expressive {DLs} with
                 Non-simple Roles},
  institution = {Chair for Automata Theory, Technische Universit{\"{a}}t Dresden},
  year        = {2015}
}