Search Results for author:
Found 2 papers, 0 papers with code
Satisfiability and Containment of Recursive SHACL
Using this logic we provide a detailed map of (un)decidability and complexity results for the satisfiability and containment decision problems for different SHACL fragments.
SHACL Satisfiability and Containment (Extended Paper)
We study the interaction of SHACL features in this logic and provide the detailed map of decidability and complexity results of the aforementioned decision problems for different SHACL sublanguages.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
