Well-founded Semantics for Recursive SHACL.

Adrian Chmurovic Mantas Simkus

Published in: Datalog (2022)

Keyphrases

logic programs
logic programming
deductive databases
normal logic programs
fixpoint
hidden markov models
defeasible logic
real time
learning algorithm
case study
multiscale
multi agent
answer sets
datalog programs
recursive functions