First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases.
Meghyn BienvenuPublished in: Description Logics (2011)
Keyphrases
- dl lite
- unions of conjunctive queries
- description logics
- query answering
- first order logic
- query rewriting
- conjunctive queries
- data complexity
- answering queries
- expressive power
- knowledge base
- computational complexity
- query evaluation
- data exchange
- query language
- consistent answers
- reasoning tasks
- integrity constraints
- user queries
- ontology languages
- inconsistent databases
- response time
- computational properties
- database
- query containment
- query processing
- complexity of query answering
- incomplete information
- probabilistic databases
- xml queries
- relational algebra
- semantic web