Keyphrases
- exptime complete
- description logics
- data complexity
- expressive power
- expressive description logics
- pspace complete
- np complete
- modal logic
- decision problems
- query answering
- knowledge representation
- logic programming
- transitive closure
- automated reasoning
- multi valued
- expert systems
- model checking
- query containment
- tree automata
- dynamic programming
- relational databases