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.- Anthology ID:
- 2018.gwc-1.4
- Volume:
- Proceedings of the 9th Global Wordnet Conference
- Month:
- January
- Year:
- 2018
- Address:
- Nanyang Technological University (NTU), Singapore
- Venue:
- GWC
- SIG:
- Publisher:
- Global Wordnet Association
- Note:
- Pages:
- 25–33
- Language:
- URL:
- https://aclanthology.org/2018.gwc-1.4
- DOI:
- Cite (ACL):
- Javier Álvez and German Rigau. 2018. Towards Cross-checking WordNet and SUMO Using Meronymy. In Proceedings of the 9th Global Wordnet Conference, pages 25–33, Nanyang Technological University (NTU), Singapore. Global Wordnet Association.
- Cite (Informal):
- Towards Cross-checking WordNet and SUMO Using Meronymy (Álvez & Rigau, GWC 2018)
- PDF:
- https://preview.aclanthology.org/starsem-semeval-split/2018.gwc-1.4.pdf