Cross-checking WordNet and SUMO Using Meronymy

@inproceedings{lvez2018CrosscheckingWA,
  title={Cross-checking WordNet and SUMO Using Meronymy},
  author={Javier {\'A}lvez and Itziar Gonzalez-Dios and German Rigau},
  booktitle={LREC},
  year={2018}
}
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 proposal is based on the part-whole information provided by WordNet, out of which we automatically create a large set of tests. Our experimental results confirm that the proposed system enables the validation of some pieces of information and also the detection of missing information or inconsistencies… CONTINUE READING