Keyphrases
- exptime complete
- description logics
- data complexity
- expressive power
- pspace complete
- expressive description logics
- np complete
- transitive closure
- knowledge base
- satisfiability problem
- decision problems
- knowledge representation
- model checking
- tree automata
- reasoning tasks
- query answering
- databases
- first order logic
- conjunctive queries
- data management
- artificial intelligence