DL-Lite Contraction and Revision.
Zhiqiang ZhuangZhe WangKewen WangGuilin QiPublished in: J. Artif. Intell. Res. (2016)
Keyphrases
- dl lite
- belief change
- belief revision
- description logics
- query answering
- knowledge base
- data complexity
- first order logic
- horn contraction
- propositional logic
- computational complexity
- conjunctive queries
- query rewriting
- default reasoning
- horn logic
- expressive power
- reasoning tasks
- computational properties
- nonmonotonic reasoning
- possibility theory
- np complete
- model theoretic
- data exchange
- answering queries
- query language
- special case