Suivre
Javier Álvez
Titre
Citée par
Citée par
Année
Complete and Consistent Annotation of WordNet using the Top Concept Ontology.
J Alvez, J Atserias, J Carrera, S Climent, E Laparra, A Oliver, G Rigau
LREC, 2008
602008
Adimen-SUMO: Reengineering an ontology for first-order reasoning
J Álvez, P Lucio, G Rigau
International Journal on Semantic Web and Information Systems (IJSWIS) 8 (4 …, 2012
462012
Consistent annotation of eurowordnet with the top concept ontology
J Álvez, J Atserias, J Carrera, S Climent, A Oliver González, G Rigau
Proceedings of the 4th Global WordNet Conference, 2008
432008
Constructive negation by bottom-up computation of literal answers
J Alvez, P Lucio, F Orejas
Proceedings of the 2004 ACM symposium on Applied computing, 1468-1475, 2004
182004
Cross-checking WordNet and SUMO using meronymy
J Alvez, I Gonzalez-Dios, G Rigau
Proceedings of the Eleventh International Conference on Language Resources …, 2018
132018
Black-box testing of first-order logic ontologies using WordNet
J Álvez, P Lucio, G Rigau
arXiv preprint arXiv:1705.10217, 2017
132017
Improving the competency of first-order ontologies
J Álvez, P Lucio, G Rigau
Proceedings of the 8th International Conference on Knowledge Capture, 1-8, 2015
132015
This is not a dataset: A large negation benchmark to challenge large language models
I García-Ferrero, B Altuna, J Álvez, I Gonzalez-Dios, G Rigau
arXiv preprint arXiv:2310.15941, 2023
122023
A framework for the evaluation of SUMO-based ontologies using WordNet
J Álvez, P Lucio, G Rigau
IEEE Access 7, 36075-36093, 2019
92019
Automatic white-box testing of first-order logic ontologies
J Álvez, M Hermo, P Lucio, G Rigau
Journal of Logic and Computation 29 (5), 723-751, 2019
82019
Towards cross-checking WordNet and SUMO using meronymy
J Alvez, G Rigau
Proceedings of the 9th Global Wordnet Conference, 25-33, 2018
72018
Commonsense Reasoning Using WordNet and SUMO: a Detailed Analysis
J Álvez, I Gonzalez-Dios, G Rigau
arXiv preprint arXiv:1909.02314, 2019
62019
Evaluating Automated Theorem Provers Using Adimen-SUMO.
J Alvez, P Lucio, G Rigau, L Kovács, A Voronkov
Vampire@ IJCAR, 74-82, 2016
52016
Applying the closed world assumption to SUMO-based FOL ontologies for effective commonsense reasoning
J Alvez, I Gonzalez-Dios, G Rigau
ECAI 2020, 585-592, 2020
42020
Elimination of Local Variables from Definite Logic Programs
J Álvez, P Lucio
Electronic Notes in Theoretical Computer Science 137 (1), 5-24, 2005
32005
Exploiting metonymy from available knowledge resources
I Gonzalez-Dios, J Álvez, G Rigau
International Conference on Computational Linguistics and Intelligent Text …, 2019
22019
Applying the Closed World Assumption to SUMO-based ontologies
J Álvez, I Gonzalez-Dios, G Rigau
CoRR, abs/1808.04620, 2018
22018
Validating WordNet meronymy relations using Adimen-SUMO
J Álvez, I Gonzalez-Dios, G Rigau
arXiv preprint arXiv:1805.07824, 2018
22018
Evaluating the Competency of a First-Order Ontology
J Álvez, P Lucio, G Rigau
Proceedings of the 8th International Conference on Knowledge Capture, 1-4, 2015
22015
Equational constraint solving via a restricted form of universal quantification
J Álvez, P Lucio
Foundations of Information and Knowledge Systems: 4th International …, 2006
22006
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20