7 citations · 20 across the 7 of their papers we have counts for
8 papers
This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models
Iker García-Ferrero, Begoña Altuna, Javier Álvez +2
Although large language models (LLMs) have apparently acquired a certain level of grammatical knowledge and the ability to make generalizations, they fail to interpret negation, a…
Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis
Javier Álvez, Itziar Gonzalez-Dios, German Rigau
We describe a detailed analysis of a sample of large benchmark of commonsense reasoning problems that has been automatically obtained from WordNet, SUMO and their mapping. The obje…
Applying the Closed World Assumption to SUMO-based FOL Ontologies for Effective Commonsense Reasoning
Javier Álvez, Itziar Gonzalez-Dios, German Rigau
Most commonly, the Open World Assumption is adopted as a standard strategy for the design, construction and use of ontologies. This strategy limits the inferencing capabilities of…
Validating WordNet Meronymy Relations using Adimen-SUMO
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. In particular, this paper focuses on cross-chec…
Automatic White-Box Testing of First-Order Logic Ontologies
Javier Álvez, Montserrat Hermo, Paqui Lucio +1
Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies, and their important role in the Semantic Web area, is generating considerabl…
Black-box Testing of First-Order Logic Ontologies Using WordNet
Javier Álvez, Paqui Lucio, German Rigau
Artificial Intelligence aims to provide computer programs with commonsense knowledge to reason about our world. This paper offers a new practical approach towards automated commons…
Evaluating the Competency of a First-Order Ontology
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). The evaluation follows the adaptation of the meth…
Improving the Competency of First-Order Ontologies
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). Our framework in…