53 citations · 147 across the 32 of their papers we have counts for
4 papers · 1 filter
Fixpoint Semantics for Recursive SHACL
Bart Bogaerts, Maxime Jakubowski
SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. The recommendation only specifies semantics for non-recursive SHACL; recently, some efforts ha…
Proceedings 37th International Conference on Logic Programming (Technical Communications)
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts +7
ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 were sought in all areas of logic programming, including but not li…
SHACL: A Description Logic in Disguise
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. In recent years, SHACL's popularity has risen quickly. This rise in popularity comes with ques…
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Emilio Gamba, Bart Bogaerts, Tias Guns
We build on a recently proposed method for explaining solutions of constraint satisfaction problems. An explanation here is a sequence of simple inference steps, where the simplici…