Instance-Driven Ontology Evolution in DL-Lite.
Zhe WangKewen WangZhiqiang ZhuangGuilin QiPublished in: AAAI (2015)
Keyphrases
- ontology evolution
- dl lite
- description logics
- semantic web
- reasoning problems
- query answering
- data complexity
- ontology languages
- belief change
- user involvement
- first order logic
- expressive power
- reasoning tasks
- semantic web technologies
- query rewriting
- conjunctive queries
- knowledge base
- ontology engineering
- knowledge representation
- computational complexity
- data exchange
- computational properties
- integrity constraints
- logic programs
- incomplete information
- fixpoint
- answering queries
- model theoretic
- expert systems