Improving the Competency of First-Order Ontologies

10/16/2015
by   Javier Álvez, et al.
0

We introduce a new framework to evaluate and improve first-order (FO) ontologies using automated theorem provers (ATPs) on the basis of competency questions (CQs). Our framework includes both the adaptation of a methodology for evaluating ontologies to the framework of first-order logic and a new set of non-trivial CQs designed to evaluate FO versions of SUMO, which significantly extends the very small set of CQs proposed in the literature. Most of these new CQs have been automatically generated from a small set of patterns and the mapping of WordNet to SUMO. Applying our framework, we demonstrate that Adimen-SUMO v2.2 outperforms TPTP-SUMO. In addition, using the feedback provided by ATPs we have set an improved version of Adimen-SUMO (v2.4). This new version outperforms the previous ones in terms of competency. For instance, "Humans can reason" is automatically inferred from Adimen-SUMO v2.4, while it is neither deducible from TPTP-SUMO nor Adimen-SUMO v2.2.

READ FULL TEXT

page 1

page 2

page 3

page 4

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
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
05/29/2017

Automatic White-Box Testing of First-Order Logic Ontologies

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

Applying the Closed World Assumption to SUMO-based Ontologies

In commonsense knowledge representation, the Open World Assumption is ad...
research
05/20/2018

Validating WordNet Meronymy Relations using Adimen-SUMO

In this paper, we report on the practical application of a novel approac...
research
10/26/2012

Get my pizza right: Repairing missing is-a relations in ALC ontologies (extended version)

With the increased use of ontologies in semantically-enabled application...
research
04/10/2021

Designing Effective Interview Chatbots: Automatic Chatbot Profiling and Design Suggestion Generation for Chatbot Debugging

Recent studies show the effectiveness of interview chatbots for informat...

Please sign up or login with your details

Forgot password? Click here to reset