Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles

Franz BaaderFranz Baader,  Stefan BorgwardtStefan Borgwardt,  Marcel LippmannMarcel Lippmann
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
  • 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}
}