Constructing Refinement Operators by Decomposing Logical Implication.
Shan-Hwei Nienhuys-ChengPatrick R. J. van der LaagLeendert W. N. van der TorrePublished in: AI*IA (1993)
Keyphrases
- logical implication
- refinement operators
- description logics
- inductive logic programming
- logic programs
- automated reasoning
- functional dependencies
- relational learning
- deductive databases
- answering queries
- logic programming
- learning algorithm
- database design
- knowledge base
- data model
- theorem proving
- object identity
- database systems