0.25
0.5
0.75
1.25
1.5
1.75
2
Updating RDFS ABoxes and TBoxes in SPARQL
Published on Feb 4, 20252406 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
Presentation
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
Proposed ABox update semantics05:15
Sem0 mat: Naïve Update followed by re-materialization05:29
Sem1a mat: Delete and rederive07:11
Alternative Materialized-pres. semantics08:19
Sem1b mat: Delete and rederive with separating "explicit" and "implicit" ABox09:13
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