@inproceedings{alvez-rigau-2018-towards,
    title = "Towards Cross-checking {W}ord{N}et and {SUMO} Using Meronymy",
    author = "{\'A}lvez, Javier  and
      Rigau, German",
    editor = "Bond, Francis  and
      Vossen, Piek  and
      Fellbaum, Christiane",
    booktitle = "Proceedings of the 9th Global Wordnet Conference",
    month = jan,
    year = "2018",
    address = "Nanyang Technological University (NTU), Singapore",
    publisher = "Global Wordnet Association",
    url = "https://preview.aclanthology.org/moar-dois/2018.gwc-1.4/",
    pages = "25--33",
    abstract = "We describe 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. In this paper,weconcentrateonthepart-whole information provided by WordNet and create a large set of tests on the basis of few question patterns. From our preliminary evaluation results, we report on some of the detected inconsistencies."
}