Javier Álvez
TitleCited byYear
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
432008
Consistent annotation of eurowordnet with the top concept ontology
J Alvez, J Atserias, J Carrera, S Climent, A Oliver, G Rigau
Proceedings of Fourth International WordNet Conference (GWC’08), 2008
322008
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
272012
Constructive negation by bottom-up computation of literal answers
J Álvez, P Lucio, F Orejas
Proceedings of the 2004 ACM symposium on Applied computing, 1468-1475, 2004
152004
Improving the competency of first-order ontologies
J Álvez, P Lucio, G Rigau
Proceedings of the 8th International Conference on Knowledge Capture, 15, 2015
112015
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
52019
Cross-checking WordNet and SUMO using meronymy
J Alvez, I Gonzalez-Dios, G Rigau
Proceedings of the Eleventh International Conference on Language Resources …, 2018
52018
Towards cross-checking WordNet and SUMO using meronymy
J Alvez, G Rigau
Proceedings of the 9th Global WordNet Conference (GWC 2018), 26, 2018
52018
Black-box testing of first-order logic ontologies using WordNet
J Álvez, P Lucio, G Rigau
arXiv preprint arXiv:1705.10217, 2017
52017
Evaluating Automated Theorem Provers Using Adimen-SUMO.
J Álvez, P Lucio, G Rigau, L Kovács, A Voronkov
Vampire@ IJCAR, 74-82, 2016
42016
Elimination of Local Variables from Definite Logic Programs
J Álvez, P Lucio
Electronic Notes in Theoretical Computer Science 137 (1), 5-24, 2005
32005
Evaluating the Competency of a First-Order Ontology
J Álvez, P Lucio, G Rigau
Proceedings of the 8th International Conference on Knowledge Capture, 28, 2015
22015
Equational constraint solving via a restricted form of universal quantification
J Álvez, P Lucio
International Symposium on Foundations of Information and Knowledge Systems …, 2006
22006
Equational constraint solving using quasi-solved forms
J Álvez, P Lucio
Proceedings of the 18th International Workshop on Unification (UNIF’04), 2004
22004
Applying the Closed World Assumption to SUMO-based Ontologies
J Álvez, I Gonzalez-Dios, G Rigau
arXiv preprint arXiv:1808.04620, 2018
12018
Validating WordNet Meronymy Relations using Adimen-SUMO
J Álvez, I Gonzalez-Dios, G Rigau
arXiv preprint arXiv:1805.07824, 2018
12018
A complete axiomatization of strict equality over infinite trees
J Álvez, FJ López-Fraguas
Functional and (Constraint) Logic Programming, 173, 2009
12009
A New Proposal Of Quasi-Solved Form For Equality Constraint Solving
J Álvez, P Lucio
Electronic Notes in Theoretical Computer Science 206, 23-40, 2008
12008
An implementation of constructive negation
J Alvez, P Lucio, F Orejas, E Pasarella, E Pino
Proc. Segundas Jornadas sobre Programación y Lenguajes, 55-104, 2002
12002
Commonsense ReasoningUsing WordNet and SUMO: a Detailed Analysis
J Álvez, I Gonzalez-Dios, G Rigau
arXiv preprint arXiv:1909.02314, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20