Updating RDFS ABoxes and TBoxes in SPARQL thumbnail
Pause
Mute
Subtitles not available
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Updating RDFS ABoxes and TBoxes in SPARQL

Published on Dec 19, 20142403 Views

Updates in RDF stores have recently been standardised in the SPARQL 1.1 Update specification. However, computing entailed answers by ontologies is usually treated orthogonally to updates in triple sto

Related categories

Chapter list

Updating RDFS ABoxes and TBoxes in SPARQL00:00
Motivation00:07
What should a triple store do in such a situation?00:41
State of the art01:20
(Abox-)Materialized stores:01:57
SPARQL Query answering under RDFS Entailment:02:33
What does that now mean for updates?04:06
Baseline semantics04:49
Proposed ABox update semantics05:15
Sem0 mat: Naïve Update followed by re-materialization05:29
Alternative Materialized-pres. semantics06:16
Sem1a mat: Delete and rederive07:11
Sem1a mat: Delete and rederive07:39
Alternative Materialized-pres. semantics08:19
Sem1b mat: Delete and rederive with separating "explicit" and "implicit" ABox09:13
Alternative Materialized-pres. semantics09:40
Scheme 110:11
Scheme 211:07
Another alternative Materialized-pres. semantics11:29
Scheme 312:02
Baseline semantics12:28
Sem0 red: Naïve Update followed by re-reduce12:40
Alternative Reduced-pres. semantics13:07
Sem1 red: Re-written Update13:31
TBox updates14:04
Scheme 414:36
Proposed TBox update semantics15:10
Analogous alternative: Semincut15:53
Prototype & Evaluation16:03
Conclusions17:13
Future Work17:25