arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Javier Álvez"" — arXiv2 Search
Showing 1–8 of 8 results
/ Date
/ Name
May 29, 2017
Black-box Testing of First-Order Logic Ontologies Using WordNet
Aug 14, 2018
Applying the Closed World Assumption to SUMO-based FOL Ontologies for Effective Commonsense Reasoning
May 20, 2018
Validating WordNet Meronymy Relations using Adimen-SUMO
Sep 5, 2019
Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis
May 29, 2017
Automatic White-Box Testing of First-Order Logic Ontologies
Oct 16, 2015
Improving the Competency of First-Order Ontologies
Oct 16, 2015
Evaluating the Competency of a First-Order Ontology
Oct 24, 2023
This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models