Validating WordNet Meronymy Relations using Adimen-SUMO

05/20/2018
by   Javier Álvez, et al.
0

In this paper, we report on the practical application of a novel approach for validating the knowledge of WordNet using Adimen-SUMO. In particular, this paper focuses on cross-checking the WordNet meronymy relations against the knowledge encoded in Adimen-SUMO. Our validation approach tests a large set of competency questions (CQs), which are derived (semi)-automatically from the knowledge encoded in WordNet, SUMO and their mapping, by applying efficient first-order logic automated theorem provers. Unfortunately, despite of being created manually, these knowledge resources are not free of errors and discrepancies. In consequence, some of the resulting CQs are not plausible according to the knowledge included in Adimen-SUMO. Thus, first we focus on (semi)-automatically improving the alignment between these knowledge resources, and second, we perform a minimal set of corrections in the ontology. Our aim is to minimize the manual effort required for an extensive validation process. We report on the strategies followed, the changes made, the effort needed and its impact when validating the WordNet meronymy relations using improved versions of the mapping and the ontology. Based on the new results, we discuss the implications of the appropriate corrections and the need of future enhancements.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/14/2018

Applying the Closed World Assumption to SUMO-based Ontologies

In commonsense knowledge representation, the Open World Assumption is ad...
research
10/16/2015

Evaluating the Competency of a First-Order Ontology

We report on the results of evaluating the competency of a first-order o...
research
02/20/2015

Development of a VO Registry Subject Ontology using Automated Methods

We report on our initial work to automate the generation of a domain ont...
research
10/16/2015

Improving the Competency of First-Order Ontologies

We introduce a new framework to evaluate and improve first-order (FO) on...
research
05/29/2017

Black-box Testing of First-Order Logic Ontologies Using WordNet

A long-standing dream of Artificial Intelligence (AI) has pursued to enr...
research
09/08/2018

An automated model-based test oracle for access control systems

In the context of XACML-based access control systems, an intensive testi...
research
09/13/2019

Taxonomical hierarchy of canonicalized relations from multiple Knowledge Bases

This work addresses two important questions pertinent to Relation Extrac...

Please sign up or login with your details

Forgot password? Click here to reset