Revision of DL-Lite Knowledge Bases.
Zhe WangKewen WangRodney W. ToporPublished in: Description Logics (2009)
Keyphrases
- dl lite
- description logics
- knowledge base
- query answering
- data complexity
- computational complexity
- query rewriting
- first order logic
- belief revision
- reasoning tasks
- expressive power
- conjunctive queries
- theory revision
- computational properties
- knowledge representation
- answering queries
- expert systems
- belief change
- integrity constraints
- possibility theory
- background knowledge
- semantic web
- logic programming
- artificial intelligence