Satisfiability and containment of recursive SHACL.

Paolo Pareti George Konstantinidis Fabio Mogavero

Published in: J. Web Semant. (2022)

Keyphrases

satisfiability problem
computational complexity
terminological reasoning
np complete
propositional logic
satisfiability testing
datalog programs
automata theoretic
query evaluation
phase transition
recursive algorithm
data exchange
recursive queries
sat encodings