Well-founded Semantics for Recursive SHACL