SHACL Constraints with Inference Rules.

Paolo Pareti George Konstantinidis Timothy J. Norman Murat Sensoy

Published in: CoRR (2019)

Keyphrases

inference rules
set of inference rules
first order logic
logic programming language
modal logic
theorem proving
theorem prover
constraint satisfaction
logical framework
conditional probabilities
proof search
artificial intelligence
training data
natural language
horn clauses
sequent calculus