Keyphrases
- conjunctive queries
- owl dl
- unions of conjunctive queries
- reasoning problems
- decision procedures
- data complexity
- np complete
- description logics
- ontology languages
- integrity constraints
- query evaluation
- query answering
- semantic web
- query rewriting
- dl lite
- reasoning systems
- probabilistic databases
- data mining
- domain ontology
- query language
- database
- modal logic
- temporal logic
- data exchange
- special case
- data model
- search space
- acyclic conjunctive queries