Keyphrases
- knowledge base
- description logics
- modular structure
- knowledge acquisition
- model checking
- knowledge based systems
- modular neural networks
- logic programming
- dl lite
- possibilistic logic
- reasoning process
- inference engine
- knowledge sources
- databases
- domain specific
- semantic network
- expert systems
- video sequences
- image sequences
- theory revision
- case study
- meta knowledge
- web services
- knowledge representation systems
- information retrieval