|
Abstract
|
|
|---|---|
| Two complementary benchmarks have been proposed so far for the evaluation and continuous improvement of RDF stream processors: SRBench and LSBench. They put a special focus on different features of the evaluated systems, including coverage of the streaming extensions of SPARQL supported by each processor, query processing throughput, and an early analysis of query evaluation correctness, based on comparing the results obtained by different processors for a set of queries. However, none of them has analysed the operational semantics of these processors in order to assess the correctness of query evaluation results. In this paper, we propose a characterization of the operational semantics of RDF stream processors, adapting well-known models used in the stream processing engine community: CQL and SECRET. Through this formalization, we address correctness in RDF stream processor benchmarks, allowing to determine the multiple answers that systems should provide. Finally, we present CSRBench, an extension of SRBench to address query result correctness verification using an automatic method. | |
|
International
|
Si |
|
Congress
|
The 12th International Semantic Web Conference (ISWC 2013) |
|
|
960 |
|
Place
|
Sydney, Australia |
|
Reviewers
|
Si |
|
ISBN/ISSN
|
978-3-642-41337-7 |
|
|
10.1007/978-3-642-41338-4_21 |
|
Start Date
|
21/10/2013 |
|
End Date
|
25/10/2013 |
|
From page
|
326 |
|
To page
|
342 |
|
|
The Semantic Web ? ISWC 2013: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II |