C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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