no code implementations • GWC 2018 • Javier Álvez, German Rigau
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.
1 code implementation • 24 Oct 2023 • Iker García-Ferrero, Begoña Altuna, Javier Álvez, Itziar Gonzalez-Dios, German Rigau
We have used our dataset with the largest available open LLMs in a zero-shot approach to grasp their generalization and inference capability and we have also fine-tuned some of the models to assess whether the understanding of negation can be trained.
no code implementations • GWC 2019 • Javier Álvez, Itziar Gonzalez-Dios, German Rigau
Our final objective is the extraction of some guidelines towards a better exploitation of this commonsense knowledge framework by the improvement of the included resources.
no code implementations • 14 Aug 2018 • Javier Álvez, Itziar Gonzalez-Dios, German Rigau
In this paper, we investigate the application of the Closed World Assumption (CWA) to enable a better exploitation of FOL ontologies by using state-of-the-art automated theorem provers.
no code implementations • 20 May 2018 • Javier Álvez, Itziar Gonzalez-Dios, German Rigau
In this paper, we report on the practical application of a novel approach for validating the knowledge of WordNet using Adimen-SUMO.
no code implementations • 29 May 2017 • Javier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau
Our proposal enables the detection of defects and serves to certify the grade of suitability --for reasoning purposes-- of every axiom.
no code implementations • 29 May 2017 • Javier Álvez, Paqui Lucio, German Rigau
Applying different quality criteria, our testing proposal enables a successful evaluation of a) the competency of several translations of SUMO into FOL and b) the performance of various automated ATPs.
no code implementations • 16 Oct 2015 • Javier Álvez, Paqui Lucio, German Rigau
We report on the results of evaluating the competency of a first-order ontology for its use with automated theorem provers (ATPs).
no code implementations • 16 Oct 2015 • Javier Álvez, Paqui Lucio, German Rigau
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).