6 citations · 17 across the 10 of their papers we have counts for
3 papers · 1 filter
sheval: An RDF data shapes evaluation tool and test-suite for recursive shapes
Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders +8
Two different languages have been developed to validate RDF data based on the concept of a shape: ShEx and SHACL. In each language it is possible to define a shape that refers to i…
The Triguarded Fragment
Emanuel Kieroński, Sebastian Rudolph, Mantas Šimkus
A prominent research question in computational logic is how to restrict first-order predicate logic (FO) in such a way that the satisfiability problem becomes decidable. Among othe…
Static Analysis of Recursive SHACL
Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
SHACL (Shapes Constraint Language) expresses constraints on RDF data by means of so-called shapes. Its central service is validation: verifying whether a data graph complies with a…