A stream-temporal query language for ontology based data access

被引:33
作者
Özçep, Özgür Lütfü [1 ]
Möller, Ralf [1 ]
Neuenstadt, Christian [1 ]
机构
[1] Institute for Softwaresystems (STS), Hamburg University of Technology, Hamburg
来源
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8736卷
关键词
Monitoring; OBDA; Safety; Streams; Unfolding;
D O I
10.1007/978-3-319-11206-0_18
中图分类号
学科分类号
摘要
The paper contributes to the recent efforts on temporalizing and streamifiying ontology based data access (OBDA) by discussing aspects of rewritability, i.e., compilability of the TBox into ontology-level queries, and unfoldability, i.e., transformability of ontology-level queries to queries on datasource level, for the new query-language framework STARQL. The distinguishing feature of STARQL is its general stream windowing and ABox sequencing strategy which allows it to plugin well-known query languages such as unions of conjunctive queries (UCQs) in combination with TBox languages such as DL-Lite and do temporal reasoning with a sorted first-order logic on top of them. The paper discusses safety aspects under which STARQL queries that embed UCQs over DL-Lite ontologies can be rewritten and unfolded to back-end relational stream query languages such as CQL. With these results, the adoption of description logic technology in industrially relevant application areas such as industrial monitoring is crucially fostered. © Springer International Publishing Switzerland 2014.
引用
收藏
页码:183 / 194
页数:11
相关论文
共 17 条
[1]  
Abiteboul S., Hull R., Vianu V., Foundations of Databases, (1995)
[2]  
Anicic D., Rudolph S., Fodor P., Stojanovic N., Stream reasoning and complex event processing in ETALIS, Semantic Web, 3, 4, pp. 397-407, (2012)
[3]  
Arasu A., Babu S., Widom J., The CQL continuous query language: Semantic foundations and query execution, The VLDB Journal, 15, pp. 121-142, (2006)
[4]  
Artale A., Kontchakov R., Wolter F., Zakharyaschev M., Temporal description logic for ontology-based data access, Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI 2013, pp. 711-717, (2013)
[5]  
Borgwardt S., Lippmann M., Thost V., Temporal query answering in the description logic DL-Lite, Frocos 2013, 8152, pp. 165-180, (2013)
[6]  
Calbimonte J.P., Jeung H., Corcho O., Aberer K., Enabling query technologies for the semantic sensor web, Int. J. Semant. Web Inf. Syst, 8, 1, pp. 43-63, (2012)
[7]  
Calvanese D., De Giacomo G., Lembo D., Lenzerini M., Poggi A., Rodriguez-Muro M., Rosati R., Ontologies and databases: The DL-Lite approach, Reasoning Web, 5689, pp. 255-356, (2009)
[8]  
Chandrasekaran S., Cooper O., Deshpande A., Franklin M.J., Hellerstein J.M., Hong W., Krishnamurthy S., Madden S., Raman V., Reiss F., Shah M.A., TelegraphCQ: Continuous dataflow processing for an uncertain world, CIDR, (2003)
[9]  
Chomicki J., Toman D., Temporal databases, Handbook of Temporal Reasoning in Artificial Intelligence, 1, pp. 429-467, (2005)
[10]  
Cugola G., Margara A., TESLA: A formally defined event specification language, Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, DEBS 2010, pp. 50-61, (2010)