Prioritized assertional-based removed sets revision of DL-Lite belief bases.
Salem BenferhatZied BouraouiOdile PapiniEric WürbelPublished in: Ann. Math. Artif. Intell. (2017)
Keyphrases
- belief base
- dl lite
- belief revision
- description logics
- possibilistic logic
- belief change
- knowledge base
- query answering
- revision operators
- preference relations
- belief set
- merging operators
- expressive power
- data complexity
- conjunctive queries
- computational complexity
- first order logic
- query rewriting
- possibility theory
- propositional logic
- probabilistic logic
- uncertain information
- computational properties
- model theoretic
- knowledge representation
- automated reasoning
- artificial intelligence