用於驗證數據文件的類型不匹配的 Shacl 規則

Question

我有一組 Shacl 規則來驗證傳入的數據文件。 問題是當數據文件中的記錄類型與 Shacl 目標類不匹配時，不會進行驗證，並且 Shacl 驗證引擎只會報告成功。 我從這個網站得到了一個解決方案，但它對我不起作用。 我在這里發布了我的 Shacl 規則和簡單數據：

https://s.zazuko.com/b887FZ

數據類型“DataInventoryRecord”（右側面板中的第 20 行數據）正確； 當我更改目標類型時，例如將其更改為“dataInventoryRecord2”，我預計會出現錯誤，但不會報告錯誤。

我從 Holger Knublauch 回答的以下帖子中得到了 recordCountShape 的想法：

如何使用 SHACL 檢查多個 class 實例

任何幫助將不勝感激

Answer 1

形狀定義對我來說看起來不錯，而且似乎也適用於（舊）SHACL Playground https://shacl.org/playground/