SHACL Constraints with Inference Rules.

Paolo Pareti George Konstantinidis Timothy J. Norman Murat Sensoy

Published in: ISWC (1) (2019)

Keyphrases

inference rules
set of inference rules
first order logic
theorem proving
modal logic
theorem prover
sequent calculus
artificial intelligence
horn clauses
truth values
logic programming language
database
knowledge representation
constraint satisfaction
natural deduction
xml keys