Semantics and Validation of Recursive SHACL.

Julien Corman Juan L. Reutter Ognjen Savkovic

Published in: ISWC (1) (2018)

Keyphrases

formal semantics
logic programming
active rules
recursive algorithm
data mining
machine learning
search engine
operational semantics
recursive functions
argumentation semantics