Model-based Revision Operators for Terminologies in Description Logics.
Guilin QiJianfeng DuPublished in: IJCAI (2009)
Keyphrases
- description logics
- revision operators
- theory revision
- knowledge base
- belief revision
- classical logic
- reasoning tasks
- knowledge representation
- computational properties
- default theories
- background knowledge
- programming language
- knowledge acquisition
- knowledge based systems
- logic programming
- propositional logic
- model theoretic
- database