Login / Signup
Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation.
Arash Karimi
Heng Zhang
Jia-Huai You
Published in:
CoRR (2020)
Keyphrases
</>
query answering
active rules
hierarchical model
data exchange
rule sets
termination analysis
integrity constraints
classification rules
functional dependencies
background knowledge
business rules
rule induction
rule extraction
association rules
term rewriting
information systems
domain experts
multiscale