Chase Termination for Guarded Existential Rules.

Marco Calautti Georg Gottlob Andreas Pieris

Published in: PODS (2015)

Keyphrases

query answering
data exchange
active rules
horn clauses
conjunctive queries
integrity constraints
production rules
incomplete information
rewrite systems
dl lite
rule induction
data sets
fixed point
classification rules
association rule mining
expert systems
search algorithm
learning algorithm