Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract).
David CarralMarkus KrötzschPublished in: Description Logics (2020)
Keyphrases
- extended abstract
- rewrite rules
- rewriting rules
- association rules
- existentially quantified
- production rules
- datalog programs
- rule sets
- query answering
- decision rules
- data sets
- background knowledge
- termination analysis
- relational databases
- presburger arithmetic
- rule induction
- active databases
- query rewriting
- domain experts
- case based reasoning