On the Approximation of Instance Level Update and Erasure in Description Logics.
Giuseppe De GiacomoMaurizio LenzeriniAntonella PoggiRiccardo RosatiPublished in: AAAI (2007)
Keyphrases
- instance level
- description logics
- dl lite
- query answering
- knowledge base
- reasoning tasks
- data complexity
- first order logic
- expressive power
- data exchange
- computational properties
- knowledge representation
- conjunctive queries
- semantic web
- query rewriting
- computational complexity
- incomplete information
- model theoretic
- machine learning