Abstract
Updates in RDF stores have recently been standardised in the
SPARQL 1.1 Update specification. However, computing answers entailed by
ontologies in triple stores is usually treated orthogonal to updates. Even the W3C's recent SPARQL 1.1 Update language and SPARQL 1.1 Entailment Regimes specifications explicitly exclude a standard behaviour how SPARQL endpoints should treat entailment regimes other than simple entailment in the context of updates. In this paper, we take a first step to close this gap. We define a fragment of SPARQL basic graph patterns corresponding to (the RDFS fragment of) DL-Lite and the corresponding SPARQL update language, dealing with updates both of ABox and of TBox statements. We discuss possible semantics along with potential strategies for implementing them. We treat both, (i) materialised RDF stores, which store all entailed triples explicitly, and (ii) reduced RDF Stores, that is, redundancy-free RDF stores that do not store any RDF triples (corresponding to DL-Lite ABox statements) entailed by others already.
SPARQL 1.1 Update specification. However, computing answers entailed by
ontologies in triple stores is usually treated orthogonal to updates. Even the W3C's recent SPARQL 1.1 Update language and SPARQL 1.1 Entailment Regimes specifications explicitly exclude a standard behaviour how SPARQL endpoints should treat entailment regimes other than simple entailment in the context of updates. In this paper, we take a first step to close this gap. We define a fragment of SPARQL basic graph patterns corresponding to (the RDFS fragment of) DL-Lite and the corresponding SPARQL update language, dealing with updates both of ABox and of TBox statements. We discuss possible semantics along with potential strategies for implementing them. We treat both, (i) materialised RDF stores, which store all entailed triples explicitly, and (ii) reduced RDF Stores, that is, redundancy-free RDF stores that do not store any RDF triples (corresponding to DL-Lite ABox statements) entailed by others already.
Originalsprache | Englisch |
---|---|
Erscheinungsort | Vienna |
Herausgeber | Department für Informationsverarbeitung und Prozessmanagement, WU Vienna University of Economics and Business |
DOIs | |
Publikationsstatus | Veröffentlicht - 2014 |
Publikationsreihe
Reihe | Working Papers on Information Systems, Information Business and Operations |
---|---|
Nummer | 01/2014 |
ISSN | 2518-6809 |
WU Working Paper Reihe
- Working Papers on Information Systems, Information Business and Operations