NSPARQL: A Navigational Language for RDF
Description
Navigational features have been largely recognized as fundamental for graph database query languages. This fact has motivated several authors to propose RDF query languages with navigational capabilities. In particular, we have argued in a previous paper that nested regular expressions are appropriate to navigate RDF data, and we have proposed the nSPARQL query language for RDF, that uses nested regular expressions as building blocks. In this paper, we study some of the fundamental properties of nSPARQL concerning expressiveness and complexity of evaluation. Regarding expressiveness, we show that nSPARQL is expressive enough to answer queries considering the semantics of the RDFS vocabulary by directly traversing the input graph. We also show that
nesting is necessary to obtain this last result, and we study the expressiveness of the combination of nested regular expressions and SPARQL operators. Regarding complexity of evaluation, we prove that the evaluation of a nested regular expression E over an RDF graph G can be computed in time O(|G| · |E|).
| Slides | |
| 0:00 | Example of a problem (1) |
| 0:55 | Example of a problem (2) |
| 1:06 | Example of a problem (3) |
| 1:16 | Example of a problem (4) |
| 1:19 | Example of a problem (5) |
| 1:20 | Example of a problem (6) |
| 1:48 | nSPARQL: A Navigational Language for RDF |
| 2:03 | Our contributions (1) |
| 2:16 | Our contributions (2) |
| 2:31 | Outline (1) |
| 2:45 | Outline (2) |
| 2:46 | Navigational axes (1) |
| 3:23 | Navigational axes (2) |
| 3:29 | Navigational axes (3) |
| 3:33 | Navigational axes (4) |
| 3:38 | Navigational axes (5) |
| 3:41 | Navigational axes (6) |
| 3:50 | Path definition (1) |
| 3:57 | Path definition (2) |
| 3:59 | Path definition (3) |
| 4:01 | Path definition (4) |
| 4:04 | Path definition (5) |
| 4:07 | Path definition (6) |
| 4:09 | Path definition (7) |
| 4:11 | Path definition (8) |
| 4:29 | Syntax of nested regular expressions over RDF (1) |
| 4:38 | Syntax of nested regular expressions over RDF (2) |
| 4:40 | Syntax of nested regular expressions over RDF (3) |
| 4:45 | Syntax of nested regular expressions over RDF (4) |
| 4:50 | Syntax of nested regular expressions over RDF (5) |
| 4:53 | Syntax of nested regular expressions over RDF (6) |
| 4:58 | Syntax of nested regular expressions over RDF (7) |
| 5:02 | Syntax of nested regular expressions over RDF (8) |
| 5:07 | Semantics of nested regular expressions over RDF (1) |
| 5:18 | Semantics of nested regular expressions over RDF (2) |
| 5:24 | Semantics of nested regular expressions over RDF (3) |
| 5:32 | Semantics of nested regular expressions over RDF (4) |
| 5:33 | Semantics of nested regular expressions over RDF (5) |
| 5:39 | Semantics of nested regular expressions over RDF (6) |
| 5:42 | Semantics of nested regular expressions over RDF (6) |
| 5:48 | Semantics of nested regular expressions over RDF (7) |
| 5:52 | Semantics of nested regular expressions over RDF (8) |
| 5:57 | Semantics of nested regular expressions over RDF (9) |
| 6:02 | Semantics of nested regular expressions over RDF (10) |
| 6:07 | Semantics of nested regular expressions over RDF (11) |
| 6:10 | Semantics of nested regular expressions over RDF (12) |
| 6:12 | Semantics of nested regular expressions over RDF (13) |
| 6:25 | Semantics of nested regular expressions over RDF graphs (1) |
| 6:41 | Semantics of nested regular expressions over RDF graphs (2) |
| 6:51 | Semantics of nested regular expressions over RDF graphs (3) |
| 7:00 | Semantics of nested regular expressions over RDF graphs (4) |
| 7:13 | Semantics of nested regular expressions over RDF graphs (5) |
| 7:26 | Semantics of nested regular expressions over RDF graphs (6) |
| 7:31 | Semantics of nested regular expressions over RDF graphs (7) |
| 7:42 | Semantics of nested regular expressions over RDF graphs (8) |
| 7:46 | Semantics of nested regular expressions over RDF graphs (9) |
| 7:53 | Nesting allows for existential checking. (1) |
| 8:18 | Nesting allows for existential checking. (2) |
| 8:26 | Nesting allows for existential checking. (3) |
| 8:32 | Nesting allows for existential checking. (4) |
| 8:35 | Nesting allows for existential checking. (5) |
| 8:40 | Nesting allows for existential checking. (6) |
| 8:43 | Nesting allows for existential checking. (7) |
| 8:49 | Nesting allows for existential checking. (8) |
| 8:59 | Semantics of nested regular expressions over RDF (1) |
| 9:04 | Nesting allows for existential checking (9) |
| 9:05 | Semantics of nested regular expressions over RDF (2) |
| 9:06 | Semantics of nested regular expressions over RDF (3) |
| 9:22 | Semantics of nested regular expressions over RDF (4) |
| 9:37 | Semantics of nested regular expressions over RDF (5) |
| 9:39 | Outline |
| 9:43 | The evaluation problem for nested regular expressions (1) |
| 10:02 | The evaluation problem for nested regular expressions (2) |
| 10:07 | The evaluation problem for nested regular expressions (3) |
| 10:10 | The evaluation problem for nested regular expressions can be decided in linear time (1) |
| 10:32 | The evaluation problem for nested regular expressions can be decided in linear time (2) |
| 10:37 | The evaluation problem for nested regular expressions can be decided in linear time (3) |
| 10:41 | The evaluation problem for nested regular expressions can be decided in linear time (4) |
| 10:47 | The evaluation problem for nested regular expressions can be decided in linear time (5) |
| 10:58 | The evaluation problem for nested regular expressions can be decided in linear time (6) |
| 11:01 | A closer look at the algorithm (1) |
| 11:05 | A closer look at the algorithm (2) |
| 11:10 | A closer look at the algorithm (3) |
| 11:15 | A closer look at the algorithm (4) |
| 11:29 | A closer look at the algorithm (5) |
| 11:33 | A closer look at the algorithm (6) |
| 11:35 | A closer look at the algorithm (7) |
| 11:36 | A closer look at the algorithm (8) |
| 11:45 | A closer look at the algorithm (9) |
| 11:48 | A closer look at the algorithm (10) |
| 11:50 | A closer look at the algorithm (11) |
| 11:52 | A closer look at the algorithm (12) |
| 11:58 | A closer look at the algorithm (13) |
| 12:07 | A closer look at the algorithm (14) |
| 12:26 | Outline |
| 12:31 | SPARQL (1) |
| 12:50 | SPARQL (2) |
| 12:58 | nSPARQL: navigational SPARQL (1) |
| 13:19 | nSPARQL: navigational SPARQL (2) |
| 13:29 | nSPARQL: navigational SPARQL (3) |
| 13:39 | nSPARQL: semantics (1) |
| 14:04 | nSPARQL: semantics (2) |
| 14:34 | nSPARQL examples (1) |
| 14:40 | nSPARQL examples (2) |
| 14:43 | nSPARQL examples (3) |
| 14:52 | nSPARQL examples (4) |
| 14:55 | nSPARQL examples (5) |
| 15:00 | nSPARQL examples (6) |
| 15:04 | nSPARQL examples (6) |
| 15:14 | nSPARQL examples (7) |
| 15:21 | nSPARQL examples (8) |
| 15:34 | nSPARQL examples (9) |
| 15:40 | nSPARQL examples (10) |
| 15:47 | nSPARQL examples (11) |
| 15:54 | nSPARQL examples (12) |
| 16:07 | nSPARQL examples (14) |
| 16:16 | nSPARQL examples (15) |
| 16:19 | nSPARQL examples (16) |
| 16:23 | nSPARQL examples (17) |
| 16:23 | nSPARQL examples (18) |
| 16:25 | nSPARQL examples (19) |
| 16:29 | nSPARQL examples (20) |
| 16:34 | nSPARQL examples (21) |
| 17:08 | Outline |
| 17:12 | RDFS evaluation via the closure (1) |
| 17:37 | RDFS evaluation via the closure (2) |
| 17:58 | nSPARQL is enoough for RDFS evaluation of standard SPARQL queries. (1) |
| 18:34 | nSPARQL is enoough for RDFS evaluation of standard SPARQL queries. (2) |
| 19:13 | nSPARQL is enoough for RDFS evaluation of standard SPARQL queries. (3) |
| 19:30 | nSPARQL without nesting is not enough. (1) |
| 19:58 | nSPARQL without nesting is not enough. (2) |
| 20:18 | Nesting regular expressions and SPARQL operators are complementary. (1) |
| 20:53 | Nesting regular expressions and SPARQL operators are complementary. (2) |
| 21:08 | Nesting regular expressions and SPARQL operators are complementary. (3) |
| 21:37 | Outline |
| 21:42 | Concluding remarks |
| 22:15 | nSPARQL: A Navigational Language for RDF |
Lecture rating
| People found this lecture: | ||
| Worth seeing | ||
| because it is: | ||
| Valuable and informative | ||
| Well presented | ||
| Easily understandable | ||
| Acceptably recorded | ||
| You need to login to cast your vote. | ||
Report a problem or upload files
If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Related content
SEE ALSO:
Link this page
Would you like to put a link to this lecture on your homepage?Go ahead! Copy the HTML snippet !




