Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles

Franz BaaderFranz Baader, Stefan BorgwardtStefan Borgwardt, Marcel LippmannMarcel Lippmann

Download

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles
In Bernhard Pfahringer, Jochen Renz, eds., Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI'15), volume 9457 of Lecture Notes in Artificial Intelligence, 21-33, 2015. Springer

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

The final publication is available at Springer.

@inproceedings{BBL2015,
  author    = {Franz Baader and Stefan Borgwardt and Marcel Lippmann},
  title     = {Temporal Conjunctive Queries in Expressive Description Logics
               with Transitive Roles},
  editor    = {Bernhard Pfahringer and Jochen Renz},
  booktitle = {Proceedings of the 28th Australasian Joint Conference on
               Artificial Intelligence (AI'15)},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {9457},
  publisher = {Springer},
  year      = {2015},
  pages     = {21-33}
}