Search Results - "Álvez, Javier"

Automatic white-box testing of first-order logic ontologies by Álvez, Javier, Hermo, Montserrat, Lucio, Paqui, Rigau, German

“…Abstract Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies is generating considerable research on the use…”
Get full text

A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet by Alvez, Javier, Lucio, Paqui, Rigau, German

“…This paper offers a new practical approach toward automated commonsense reasoning with first-order logic (FOL) SUMO-based ontologies. We propose a new…”
Get full text

A New Proposal Of Quasi-Solved Form For Equality Constraint Solving by Álvez, Javier, Lucio, Paqui

“…Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of…”
Get full text

Elimination of Local Variables from Definite Logic Programs by Álvez, Javier, Lucio, Paqui

“…In logic programming, a variable is said to be local if it occurs in a clause body but not in its head atom. It is well-known that local variables are the main…”
Get full text

This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models by García-Ferrero, Iker, Altuna, Begoña, Álvez, Javier, Gonzalez-Dios, Itziar, Rigau, German

“…Although large language models (LLMs) have apparently acquired a certain level of grammatical knowledge and the ability to make generalizations, they fail to…”
Get full text

Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis by Álvez, Javier, Gonzalez-Dios, Itziar, Rigau, German

“…We describe a detailed analysis of a sample of large benchmark of commonsense reasoning problems that has been automatically obtained from WordNet, SUMO and…”
Get full text

Applying the Closed World Assumption to SUMO-based FOL Ontologies for Effective Commonsense Reasoning by Álvez, Javier, Gonzalez-Dios, Itziar, Rigau, German

“…Most commonly, the Open World Assumption is adopted as a standard strategy for the design, construction and use of ontologies. This strategy limits the…”
Get full text

Validating WordNet Meronymy Relations using Adimen-SUMO by Álvez, Javier, Gonzalez-Dios, Itziar, Rigau, German

“…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…”
Get full text

Black-box Testing of First-Order Logic Ontologies Using WordNet by Álvez, Javier, Lucio, Paqui, Rigau, German

“…Artificial Intelligence aims to provide computer programs with commonsense knowledge to reason about our world. This paper offers a new practical approach…”
Get full text

Automatic White-Box Testing of First-Order Logic Ontologies by Álvez, Javier, Hermo, Montserrat, Lucio, Paqui, Rigau, German

“…Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies, and their important role in the Semantic Web area, is…”
Get full text

Improving the Competency of First-Order Ontologies by Álvez, Javier, Lucio, Paqui, Rigau, German

“…Proceedings of the 8th International Conference on Knowledge Capture (K-CAP 2015). Palisades, NY. 2015 We introduce a new framework to evaluate and improve…”
Get full text

Evaluating the Competency of a First-Order Ontology by Álvez, Javier, Lucio, Paqui, Rigau, German

“…Proceedings of the 8th International Conference on Knowledge Capture (K-CAP 2015). Palisades, NY. 2015 We report on the results of evaluating the competency of…”
Get full text