Fabio Mogavero

Satisfiability and containment of recursive SHACL

2022 · Journal of Web Semantics

The Shapes Constraint Language (SHACL) is the recent W3C recommendation language for validating RDF data, by verifying certain shapes on graphs. Previous work has largely focused on the validation problem, while the standard decision problems …

Priority Promotion with Parysian Flair

2021 · arXiv (Cornell University)

We develop an algorithm that combines the advantages of priority promotion - one of the leading approaches to solving large parity games in practice - with the quasi-polynomial time guarantees offered by Parys' algorithm. Hybridising …