Keyphrases
- logical implication
- automated reasoning
- description logics
- functional dependencies
- deductive databases
- answering queries
- refinement operators
- truth values
- knowledge representation
- integrity constraints
- query answering
- query processing
- logic programs
- database design
- theorem proving
- relational databases
- semi supervised
- knowledge base
- theorem prover