Restricted Chase (Non)Termination for Existential Rules with Disjunctions.
David CarralIrina DragosteMarkus KrötzschPublished in: IJCAI (2017)
Keyphrases
- query answering
- active rules
- termination analysis
- association rules
- rule discovery
- rule sets
- existentially quantified
- data mining
- transformation rules
- association rule mining
- domain knowledge
- knowledge base
- decision rules
- human experts
- background knowledge
- rule induction
- rule learning
- description logics
- data dependencies
- bayesian networks
- rewrite systems
- artificial intelligence