SHACL校验数据类型与targetClass不匹配无报错问题咨询

• 基于SHACL规则实现数据文件校验时存在异常：数据文件内记录类型与SHACL规则的targetClass不匹配时，校验引擎不会触发对应校验逻辑，直接返回校验成功结果。
• 此前尝试过公开渠道获取的对应解决方案，实测未生效。
• 实测复现情况：
  • 数据类型为DataInventoryRecord（测试数据右侧面板第20行对应类型）时，校验逻辑运行正常
  • 将目标类型修改为dataInventoryRecord2这类与规则不匹配的类型时，预期抛出校验错误，但实际无任何报错返回
• 规则中recordCountShape的设计参考了社区公开的SHACL类实例数量校验实现思路。

该现象是SHACL的默认执行逻辑导致的：

当SHACL规则通过targetClass指定校验目标时，引擎仅会将显式声明为该类实例、或经推理可判定为该类实例的节点纳入校验范围，规则本身不会自动覆盖“是否存在该类合法实例”“数据集内是否出现未定义的非法类型”这类校验逻辑。
你所参考的实例数校验方案，核心逻辑是统计匹配目标类的实例数量是否符合阈值要求，一旦数据集内不存在任何匹配targetClass的节点，该规则就没有可执行校验的目标对象，自然不会返回任何报错。

可根据实际场景选择以下调整方案，覆盖类型不匹配的校验场景：

• 新增独立的全局类型校验规则
  不要将类型合法性校验逻辑绑定在业务类对应的targetClass规则上，单独定义面向数据集内所有实体节点、或数据集根节点的校验规则，通过SPARQL自定义约束遍历所有带类型声明的实例，校验其rdf:type值必须属于预先定义的合法类型白名单，一旦出现dataInventoryRecord2这类不在白名单内的类型，直接触发校验报错。
• 调整实例计数规则的挂载目标
  不要将recordCountShape的校验目标设置为DataInventoryRecord类本身，改为将规则挂载到数据集顶层节点（比如数据目录根节点），在规则内同步实现两层校验：
  1. 遍历所有实例的rdf:type声明，排查是否存在未定义的非法类型
  2. 统计合法类型DataInventoryRecord的实例总数，校验是否符合预设阈值
     该写法下无论数据集内是否存在匹配DataInventoryRecord类型的实例，规则都会正常触发，不会出现漏校验问题。
• 开启校验引擎的严格模式（依赖引擎能力支持）
  部分SHACL校验引擎提供严格校验配置项，开启后会自动校验所有声明rdf:type的节点是否存在对应的Shape定义，未被任何Shape覆盖的类型会直接返回错误或警告，无需额外编写自定义规则。该方案无需调整现有规则逻辑，但仅适用于支持对应配置的引擎，通用性弱于前两种自定义规则方案。

内容的提问来源于stack exchange，提问作者James Fang