Genclo and Termequiv are EXPTIME-Complete.
Dragan MasulovicPublished in: Int. J. Algebra Comput. (2008)
Keyphrases
- exptime complete
- description logics
- data complexity
- expressive power
- pspace complete
- expressive description logics
- np complete
- transitive closure
- query containment
- knowledge base
- decision problems
- reasoning tasks
- model checking
- query evaluation
- tree automata
- satisfiability problem
- query answering
- first order logic
- conjunctive queries
- knowledge representation
- query language
- machine learning
- database
- constraint satisfaction problems
- query complexity