On the Evolution of the Instance Level of DL-Lite Knowledge Bases.
Maurizio LenzeriniDomenico Fabio SavoPublished in: Description Logics (2011)
Keyphrases
- cost model
- dl lite
- instance level
- description logics
- query answering
- data complexity
- knowledge base
- computational complexity
- conjunctive queries
- query rewriting
- expressive power
- reasoning tasks
- first order logic
- computational properties
- model theoretic
- integrity constraints
- np complete
- knowledge representation
- constraint satisfaction
- data exchange
- ontology languages