Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking.
Knut HinkelmannPublished in: Deductive Databases / Abduction in Deductive Databases (1995)
Keyphrases
- integrity checking
- knowledge base
- logic programming
- deductive databases
- magic sets
- propositional knowledge base
- integrity constraints
- datalog programs
- logic programs
- constraint logic programming
- conjunctive queries
- fixpoint
- background knowledge
- hard and soft constraints
- query answering
- semantic query optimization
- belief revision
- answer set programming
- knowledge representation
- expert systems
- description logics
- answer sets
- recursive queries
- databases
- query rewriting
- general purpose
- decision procedures
- query containment
- query evaluation