Practical Datalog Rewriting for Existential Rules.
Zhe WangPeng XiaoKewen WangPublished in: Description Logics (2019)
Keyphrases
- existentially quantified
- query answering
- ontology based data access
- datalog programs
- rewrite rules
- logic programs
- expressive power
- query rewriting
- real world
- conjunctive queries
- rewriting rules
- association rules
- deductive databases
- universally quantified
- logic programming
- background knowledge
- active rules
- termination analysis
- recursive programs
- transformation rules
- data exchange
- dl programs
- fixpoint semantics
- databases
- decision rules
- rule sets