Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice.
Guilin QiZhe WangKewen WangXuefeng FuZhiqiang ZhuangPublished in: AAAI (2015)
Keyphrases
- dl lite
- description logics
- knowledge base
- theory revision
- query answering
- data complexity
- expressive power
- first order logic
- conjunctive query answering
- query rewriting
- conjunctive queries
- reasoning tasks
- computational complexity
- belief revision
- computational properties
- semantic web
- model theoretic
- data exchange
- belief change
- incomplete information
- reasoning systems
- query language
- reasoning services