SHACL Satisfiability and Containment

The Shapes Constraint Language (SHACL) is a recent W3C recommendation language for validating RDF data. This paper provides a translation of SHACL into a new first-order language, called SCL, that precisely captures the semantics of SHACL w.r.t. satisfiability and containment.

形状约束语言（Shapes Constraint Language，SHACL）是W3C近期推出的推荐标准约束语言，用于验证资源描述框架（Resource Description Framework，RDF）数据。本文将SHACL转换为一种名为SCL的新型一阶语言，该语言可精准捕捉SHACL在可满足性与包含关系层面的语义。