Picture for Fabio Mogavero

Fabio Mogavero

Satisfiability and Containment of Recursive SHACL

Add code
Aug 30, 2021
Figure 1 for Satisfiability and Containment of Recursive SHACL
Figure 2 for Satisfiability and Containment of Recursive SHACL
Figure 3 for Satisfiability and Containment of Recursive SHACL
Figure 4 for Satisfiability and Containment of Recursive SHACL
Viaarxiv icon

SHACL Satisfiability and Containment (Extended Paper)

Add code
Aug 31, 2020
Viaarxiv icon