Verification of Knowledge Bases Based on Containment Checking.
Alon Y. LevyMarie-Christine RoussetPublished in: Artif. Intell. (1998)
Keyphrases
- knowledge base
- verification method
- model checking
- description logics
- knowledge based systems
- knowledge representation
- knowledge acquisition
- meta knowledge
- query evaluation
- conjunctive queries
- case study
- dl lite
- formal verification
- face verification
- temporal logic
- np complete
- expert systems
- knowledge sources
- consistency checking
- logic programming
- data management
- knowledge representation systems