Fixpoint Semantics for Recursive SHACL.

Bart Bogaerts Maxime Jakubowski

Published in: ICLP Technical Communications (2021)

Keyphrases

high level
fixpoint semantics
datalog programs
logic programs
fixpoint
deductive databases
closed world assumption
data complexity
query answering
conjunctive queries
model theoretic
logic programming
database
stable models
graphical models
special case
knowledge base