On expansion and contraction of DL-Lite knowledge bases.
Dmitriy ZheleznyakovEvgeny KharlamovWerner NuttDiego CalvanesePublished in: J. Web Semant. (2019)
Keyphrases
- dl lite
- description logics
- query answering
- data complexity
- knowledge base
- first order logic
- query rewriting
- reasoning tasks
- conjunctive queries
- expressive power
- computational complexity
- belief change
- integrity constraints
- knowledge representation
- belief revision
- computational properties
- data exchange
- logic programming