Picture for Javier Álvez

Javier Álvez

This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models

Add code
Oct 24, 2023
Figure 1 for This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models
Figure 2 for This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models
Figure 3 for This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models
Figure 4 for This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models
Viaarxiv icon

Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis

Sep 06, 2019
Figure 1 for Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis
Figure 2 for Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis
Figure 3 for Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis
Viaarxiv icon

Applying the Closed World Assumption to SUMO-based Ontologies

Add code
Aug 14, 2018
Figure 1 for Applying the Closed World Assumption to SUMO-based Ontologies
Figure 2 for Applying the Closed World Assumption to SUMO-based Ontologies
Figure 3 for Applying the Closed World Assumption to SUMO-based Ontologies
Figure 4 for Applying the Closed World Assumption to SUMO-based Ontologies
Viaarxiv icon

Automatic White-Box Testing of First-Order Logic Ontologies

Jun 26, 2018
Figure 1 for Automatic White-Box Testing of First-Order Logic Ontologies
Figure 2 for Automatic White-Box Testing of First-Order Logic Ontologies
Figure 3 for Automatic White-Box Testing of First-Order Logic Ontologies
Figure 4 for Automatic White-Box Testing of First-Order Logic Ontologies
Viaarxiv icon

Validating WordNet Meronymy Relations using Adimen-SUMO

May 20, 2018
Figure 1 for Validating WordNet Meronymy Relations using Adimen-SUMO
Figure 2 for Validating WordNet Meronymy Relations using Adimen-SUMO
Figure 3 for Validating WordNet Meronymy Relations using Adimen-SUMO
Figure 4 for Validating WordNet Meronymy Relations using Adimen-SUMO
Viaarxiv icon

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

Mar 23, 2018
Figure 1 for Black-box Testing of First-Order Logic Ontologies Using WordNet
Figure 2 for Black-box Testing of First-Order Logic Ontologies Using WordNet
Figure 3 for Black-box Testing of First-Order Logic Ontologies Using WordNet
Figure 4 for Black-box Testing of First-Order Logic Ontologies Using WordNet
Viaarxiv icon

Evaluating the Competency of a First-Order Ontology

Oct 16, 2015
Figure 1 for Evaluating the Competency of a First-Order Ontology
Figure 2 for Evaluating the Competency of a First-Order Ontology
Figure 3 for Evaluating the Competency of a First-Order Ontology
Figure 4 for Evaluating the Competency of a First-Order Ontology
Viaarxiv icon

Improving the Competency of First-Order Ontologies

Oct 16, 2015
Figure 1 for Improving the Competency of First-Order Ontologies
Figure 2 for Improving the Competency of First-Order Ontologies
Viaarxiv icon