Sign in

Semantics and Validation of Recursive SHACL.

Julien CormanJuan L. ReutterOgnjen 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