Keyphrases
- utility function
- exptime complete
- decision problems
- pspace complete
- description logics
- data complexity
- expressive power
- expressive description logics
- np complete
- game playing
- tree automata
- knowledge base
- query answering
- transitive closure
- query evaluation
- satisfiability problem
- model checking
- reasoning tasks
- query containment
- data exchange
- first order logic
- query optimization
- dynamic programming
- computational complexity
- database