0.25
0.5
0.75
1.25
1.5
1.75
2
Semantics and Validation of Recursive SHACL
Published on Nov 22, 20182662 Views
With the popularity of RDF as an independent data model came the need for specifying constraints on RDF graphs, and for mechanisms to detect violations of such constraints. One of the most promising s
Related categories
Chapter list
Semantics and Validation of Recursive SHACL00:00
Knowledge Graphs (KGs)00:45
Data Quality in KG -1 01:22
Data Quality in KG - 201:33
Data Quality in KG - 301:45
Shapes Constraint Language (SHACL) - 101:58
Shapes Constraint Language (SHACL) - 202:28
SHACL for local validations - 103:27
SHACL for local validations - 204:17
SHACL for local validations - 304:26
SHACL for local validations - 404:35
SHACL for local validations - 504:59
SHACL for propagated validations - 105:13
SHACL for propagated validations - 205:33
SHACL for propagated validations - 305:54
SHACL for propagated validations - 406:39
Three main contributions07:20
Extending the semantics of SHACL08:22
Problem definition - 109:02
Problem definition - 209:14
Problem definition - 309:28
Example 1: Recursion - 109:46
Example 1: Recursion - 210:15
Example 1: Recursion - 310:36
Example 1: Recursion - 410:46
Compliant 3-valued semantics for inconsistent KGs11:09
Example 2: Recursion + Non-stratified negation Non-stratified Negation - 111:22
Example 2: Recursion + Non-stratified negation Non-stratified Negation - 211:53
Example 2: Recursion + Non-stratified negation Non-stratified Negation - 312:09
Example 2: Recursion + Non-stratified negation Non-stratified Negation - 412:33
Example 2: Recursion + Non-stratified negation Non-stratified Negation - 512:58
Example 2: Recursion + Non-stratified negation Non-stratified Negation - 613:00
Example 2: Recursion + Non-stratified negation Non-stratified Negation - 713:16
How complex is the validation?13:34
How complex is the validation? bad and good news - 113:40
How complex is the validation? bad and good news - 213:56
How complex is the validation? bad and good news - 313:59
How complex is the validation? bad and good news - 414:06
Computational Complexity - 114:32
Computational Complexity - 214:50
Computational Complexity - 315:02
Recap & Next Steps - 115:11
Recap & Next Steps - 215:27
Recap & Next Steps - 315:35