Looking at the current proposals for SHACL https://lists.w3.org/Archives/Public/public-data-shapes-wg/2015Mar/0279.html 3/19時点で入門以外に意味論、公理意味論、言語ガイド（拡張SPARQLによる形式定義）、直接SPARQL形式定義の4つがあるという整理