Understanding Inexpressibility of Model-Based ABox Evolution in DL-Lite.
Evgeny KharlamovDmitriy ZheleznyakovPublished in: AMW (2011)
Keyphrases
- dl lite
- description logics
- query answering
- conjunctive query answering
- data complexity
- computational complexity
- query rewriting
- first order logic
- expressive power
- conjunctive queries
- reasoning tasks
- knowledge base
- knowledge representation
- computational properties
- answering queries
- data exchange
- artificial intelligence
- query optimization
- data integration
- possibility theory
- reasoning systems
- ontology languages
- model theoretic
- expert systems