what is inferencing? https://lists.w3.org/Archives/Public/public-data-shapes-wg/2016May/0071.html SHACLの仕様で用語定義がRDFを独自に拡張しているという議論から、検証対象クラスのスコープが親クラスも含むという点について、それはSPARQLクエリだとか、それもやはり推論だとかの議論へ。実装はともかく仕様で定義を勝手に拡張するのはやはりまずいでしょ