0


在SPARQL中更新RDFS ABoxes和TBoxes

Updating RDFS ABoxes and TBoxes in SPARQL
课程网址: http://videolectures.net/iswc2014_ahmeti_rdfs_aboxes_tboxes/  
主讲教师: Albin Ahmeti
开课单位: 维也纳理工大学
开课时间: 2014-12-19
课程语种: 英语
中文简介:

最近,在SPARQL 1.1更新规范中对RDF存储中的更新进行了标准化。但是,通常将本体论计算得出的答案与三重存储中的更新正交对待。即使是W3C SPARQL 1.1更新和SPARQL 1.1蕴含机制规范也明确排除了更新体系中除简单蕴含之外的蕴含机制的标准行为。在本文中,我们迈出了缩小这一差距的第一步。我们定义了与DL Lite(的RDFS片段)和相应的 SPARQL更新语言相对应的SPARQL基本图形模式的片段,以处理ABox和TBox语句的更新。我们讨论了可能的语义以及实现它们的潜在策略。特别是,我们将同时处理(i)物化RDF存储和显式存储的所有三元组,以及(ii)精简RDF存储,即不存储任何RDF三元组的无冗余RDF存储(对应于DL Lite ABox语句) )已经被其他人所吸引。我们已在现成的三元组存储中原型上实现了所有语义,并提供了一些可行的指示。

课程简介: 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 stores. Even the W3C SPARQL 1.1 Update 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. In particular, 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. We have implemented all semantics prototypically on top of an off-the-shelf triple store and present some indications on practical feasibility.
关 键 词: 基本图形模式; 显式存储
课程来源: 视频讲座网
数据采集: 2020-12-29:zyk
最后编审: 2020-12-29:zyk
阅读次数: 44