SHACL 特性及用于完全相等与不相交测试之扩展的表达能力
计算机科学中的逻辑
2024-08-07 v4
摘要
SHACL 是一种 W3C 提议的用于表达 RDF 图结构约束的模式语言。近期对该语言形式化的工作揭示了其与描述逻辑引人注目的关联。SHACL 表达式可使用三种在描述逻辑中不太常见的根本特性：相等测试、不相交测试以及闭包约束。此外，SHACL 的特殊之处在于仅允许在包含约束左侧使用受限形式的表达式（所谓目标）。本文旨在清晰刻画这些特性与限制的影响及表达能力。我们表明四种特性各自均为本原的：利用该特性可表达不使用该特性便无法表达的布尔查询。我们还表明，只要不使用闭包约束，SHACL 对允许目标的限制便是无关紧要的。此外，我们表明以“完全”版本的相等测试或不相交测试来扩充 SHACL 会得到严格更强的语言。
引用
@article{arxiv.2212.03553,
title = {Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests},
author = {Bart Bogaerts and Maxime Jakubowski and Jan Van den Bussche},
journal= {arXiv preprint arXiv:2212.03553},
year = {2024}
}