Contraction and Revision over DL-Lite TBoxes.
Zhiqiang ZhuangZhe WangKewen WangGuilin QiPublished in: AAAI (2014)
Keyphrases
- dl lite
- description logics
- belief change
- belief revision
- knowledge base
- query answering
- horn contraction
- propositional logic
- data complexity
- first order logic
- horn logic
- expressive power
- conjunctive queries
- query rewriting
- computational complexity
- model theoretic
- reasoning tasks
- knowledge representation
- possibility theory
- computational properties
- probability theory
- nonmonotonic reasoning
- default reasoning
- integrity constraints
- reasoning problems
- machine learning
- query evaluation
- semantic web
- expert systems
- special case
- incomplete information
- np complete