中文

在 SPARQL 中更新 RDFS ABox 和 TBox

数据库 2014-03-31 v1

摘要

RDF 存储中的更新最近已在 SPARQL 1.1 Update 规范中标准化。然而,在三元组存储中计算本体所蕴含的答案通常被视为与更新正交的问题。即使是 W3C 最近的 SPARQL 1.1 Update 语言和 SPARQL 1.1 蕴含机制规范,也明确排除了关于 SPARQL 端点在更新上下文中如何处理简单蕴含以外的蕴含机制的标准行为。在本文中,我们采取了填补这一空白的第一步。我们定义了与 DL-Lite(及其 RDFS 片段)相对应的 SPARQL 基本图模式片段,以及相应的 SPARQL 更新语言,用于处理 ABox 和 TBox 语句的更新。我们讨论了可能的语义以及实现它们的潜在策略。我们同时处理了两种情况:(i) 物化 RDF 存储,即显式存储所有蕴含三元组的存储;以及 (ii) 简化 RDF 存储,即无冗余的 RDF 存储,不存储任何已由其他三元组蕴含的 RDF 三元组(对应于 DL-Lite ABox 语句)。

关键词

引用

@article{arxiv.1403.7248,
  title  = {Updating RDFS ABoxes and TBoxes in SPARQL},
  author = {Albin Ahmeti and Diego Calvanese and Axel Polleres},
  journal= {arXiv preprint arXiv:1403.7248},
  year   = {2014}
}