Keyphrases
- dl lite
- description logics
- knowledge base
- query answering
- data complexity
- conjunctive query answering
- first order logic
- conjunctive queries
- query rewriting
- computational complexity
- expressive power
- belief revision
- reasoning tasks
- computational properties
- query evaluation
- incomplete information
- reasoning services
- description logic knowledge base
- belief change
- spatial databases
- semantic web
- query language
- database systems