Keyphrases
- knowledge base
- propositional knowledge base
- knowledge based systems
- belief base
- knowledge acquisition
- description logics
- inconsistent knowledge
- knowledge representation systems
- integrity checking
- knowledge sources
- semantic network
- logic programming
- knowledge representation
- integrity constraints
- reasoning process
- update operations
- data sets
- real time
- domain experts
- insertions and deletions
- sound and complete with respect
- data structure