Аннотация
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
orthogonally to updates. Even W3C's SPARQL~1.1 Update
language and SPARQL~1.1 Entailment Regimes specifications
explicitly exclude a standard behaviour for 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. Particularly, we treat materialised RDF stores, which
store all entailed triples explicitly, and preservation of
materialisation upon ABox and TBox updates.
Пользователи данного ресурса
Пожалуйста,
войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)