hybrid-mu-calculus

深度分析

遞迴 SHACL 的包含性可判定性：以 well‑founded 語義與 hybrid μ‑calculus 建立決策程序

圖形資料驗證常用 SHACL，但遞迴定義缺乏統一語義。研究比較 supported、stable 與 well‑founded 三種語義，發現前兩者下包含性不可判定；在 well‑founded 下可翻譯為 hybrid μ‑calculus，並以自動機法取得單指數可判定性，為遞迴 SHACL 的靜態分析帶來可行路徑。