Keyphrases
- exptime complete
- description logics
- expressive power
- pspace complete
- data complexity
- expressive description logics
- np complete
- decision problems
- model checking
- tree automata
- transitive closure
- knowledge base
- satisfiability problem
- query evaluation
- knowledge representation
- query language
- reasoning tasks
- first order logic
- query answering
- data exchange
- np hard
- finite state
- relational algebra
- matching algorithm
- database systems