ShEx and SHACL share large fragments of identical expressive power under LFP and GFP via duality, with complete complexity results for validation under LFP, GFP, and SMS.
For every state q of A, take a fresh shape name sq and add the following declarations to C: (a)s ∃π.φ :s q0 ∨ · · · ∨s qn where q0,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Common Foundations for Recursive Shape Languages
ShEx and SHACL share large fragments of identical expressive power under LFP and GFP via duality, with complete complexity results for validation under LFP, GFP, and SMS.