我正在TopBraidComposer Maestro Edition(v 6.3.2(中使用SHACL测试RDF数据的验证。 在分析SHACL的过程中，我遇到了针对SHACL的DASH Reification Support文档。该文档的第2章定义了属性dash:reifiableBy，根据文档，该属性">可用于将SHACL属性形状与一个或多个节点形状链接起来。任何已修改的语句都必须符合这些节点形状。">
这似乎表明，可以针对某些形状定义语句的 SHACL 验证。该文档有一个示例，我尝试在 TopBraidComposer 中运行该示例 - 不过，为了实际获得验证结果(在本例中，语句无效(，略有修改。代码为：
# baseURI: http://example.org/shacl/shapes/dash/reifiableBy
# imports: http://datashapes.org/dash
# prefix: exshacl
@prefix ex: <http://example.org/shacl/data/dash/reifiableBy#> .
@prefix exschema: <http://example.org/shacl/schema/dash/reifiableBy/> .
@prefix exshacl: <http://example.org/shacl/shapes/dash/reifiableBy#> .
@prefix dash: <http://datashapes.org/dash#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
<http://example.org/shacl/shapes/dash/reifiableBy>
a owl:Ontology ;
owl:imports <http://datashapes.org/dash> ;
.
###########################
# Shape(s)
###########################
exshacl:ProvenanceShape
a sh:NodeShape ;
sh:property [
a sh:PropertyShape ;
sh:path exschema:date ;
sh:datatype xsd:date ;
sh:minCount 1 ;
] ;
sh:property [
a sh:PropertyShape ;
sh:path exschema:author ;
sh:nodeKind sh:IRI ;
sh:minCount 1 ;
] ;
.
exshacl:PersonShape
a sh:NodeShape ;
sh:targetClass exschema:Person ;
sh:property [
a sh:PropertyShape ;
sh:path exschema:age ;
sh:datatype xsd:integer ;
sh:minCount 1 ;
dash:reifiableBy exshacl:ProvenanceShape ;
] ;
.
###########################
# Data
###########################
ex:Bob
a exschema:Person ;
exschema:age "23"^^xsd:integer ;
.
ex:BobAge23Reification
a rdf:Statement ;
rdf:subject ex:Bob ;
rdf:predicate exschema:age ;
rdf:object "23"^^xsd:integer ;
ex:author ex:Claire .
只要属性形状确保exschema:age存在于exschema:Person并且数据类型xsd:integer，则该exshacl:PersonShape有效。
但是，三重ex:Bob exschema:age "23"^^xsd:integer上ex:BobAge23Reification的 rdf 语句不会针对exshacl:ProvenanceShape进行验证。虽然语句中存在属性exschema:author，但属性exschema:date不存在。
示例代码是否错误或缺少关键位，或者dash:reifiableBy没有定义实际验证的 SHACL 约束组件(而是仅用于定义 GUI 中的编辑表单(？
(这些问题最好在topbraid-users邮件列表中提出(
形状看起来不错，但 TopBraid 目前不验证 rdf：Statement，而是使用 http://datashapes.org/reification.html#uriReification
这在未来的版本中可能会发生变化，具体取决于耶拿对 RDF* 支持可能采取的方向。
当前版本的TBC不适合编辑此类化值，但TopBraid EDG适合。