Verification of Knowledge Bases Based on Containment Checking.
Alon Y. LevyMarie-Christine RoussetPublished in: AAAI/IAAI, Vol. 1 (1996)
Keyphrases
- knowledge base
- verification method
- description logics
- model checking
- knowledge representation
- formal verification
- knowledge based systems
- knowledge sources
- query optimization
- artificial intelligence
- semantic network
- formal methods
- knowledge acquisition
- knowledge representation systems
- transitive closure
- reasoning process
- consistency checking
- meta knowledge
- expert systems