Keyphrases
- exptime complete
- description logics
- data complexity
- expressive power
- pspace complete
- expressive description logics
- np complete
- model checking
- transitive closure
- satisfiability problem
- decision problems
- query containment
- tree automata
- knowledge base
- knowledge representation
- query answering
- query evaluation
- query language
- data exchange
- reasoning tasks
- temporal logic
- first order logic
- computational complexity
- relational algebra
- database
- query complexity
- reinforcement learning
- artificial intelligence