On the Revision of Prioritized DL-Lite Knowledge Bases.
Salem BenferhatZied BouraouiKarim TabiaPublished in: SUM (2014)
Keyphrases
- dl lite
- description logics
- knowledge base
- possibilistic logic
- query answering
- belief base
- belief revision
- data complexity
- first order logic
- computational complexity
- reasoning tasks
- expressive power
- possibility theory
- query rewriting
- theory revision
- knowledge representation
- conjunctive queries
- computational properties
- data exchange
- model theoretic
- database
- propositional logic
- integrity constraints
- database systems
- relational databases