Knowledge Validation
task
ID: knowledgevalidation
Related Papers
Cross-checking WordNet and SUMO Using Meronymy
We report on the practical application of a black-box testing methodology for the validation of the knowledge encoded in WordNet, SUMO and their mapping by using automated theorem provers. Our …...