Stable Model Semantics for Recursive SHACL.

Medina Andresel Julien Corman Magdalena Ortiz Juan L. Reutter Ognjen Savkovic Mantas Simkus

Published in: WWW (2020)

Keyphrases

stable model semantics
logic programs
answer set programming
stable models
logic programming
rdf graphs
normal logic programs
modulo theories
general purpose
information extraction