Inproceedings3053: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Stefan Borgwardt (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Franz |ErsterAutorNachname=Baader |FurtherAuthors=Stefan Borgwardt; Marcel Lippmann }} {{Inproceedings |Referier…“) |
Marcel Lippmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 7: | Zeile 7: | ||
|Referiert=1 | |Referiert=1 | ||
|Title=Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles | |Title=Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles | ||
|To appear= | |To appear=0 | ||
|Year=2015 | |Year=2015 | ||
|Booktitle=Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI'15) | |Booktitle=Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI'15) | ||
|Pages=21-33 | |||
|Publisher=Springer | |Publisher=Springer | ||
|Editor=Bernhard Pfahringer, Jochen Renz | |Editor=Bernhard Pfahringer, Jochen Renz | ||
| Zeile 17: | Zeile 18: | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=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. | |Abstract=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. | ||
|Download=BaBL-AI15.pdf | |Download=BaBL-AI15.pdf | ||
|Projekt=HAEC | |Projekt=HAEC | ||
|Forschungsgruppe=Automatentheorie | |Forschungsgruppe=Automatentheorie | ||
}} | }} | ||
Version vom 7. Dezember 2015, 10:03 Uhr
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles
Franz BaaderFranz Baader, Stefan BorgwardtStefan Borgwardt, Marcel LippmannMarcel Lippmann
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
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
- 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
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@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}
}
