Publicaciones (23) Publicaciones de JAVIER ALVEZ GIMENEZ

2023

  1. Exploiting Metonymy from Available Knowledge Resources

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

    EMNLP 2023 - 2023 Conference on Empirical Methods in Natural Language Processing, Proceedings

2020

  1. Applying the closedworld assumption to sumo-based fol ontologies for effective commonsense reasoning

    Frontiers in Artificial Intelligence and Applications

  2. Commonsense reasoning using WordNet and SUMO: A detailed analysis

    Proceedings of the 10th Global WordNet Conference

2019

  1. A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet

    IEEE Access, Vol. 7, pp. 36075-36093

  2. Automatic white-box testing of first-order logic ontologies

    Journal of Logic and Computation, Vol. 29, Núm. 5, pp. 723-751

  3. Cross-checking WordNet and SUMO using meronymy

    LREC 2018 - 11th International Conference on Language Resources and Evaluation

2018

  1. Towards cross-checking wordnet and sumo using meronymy

    GWC 2018 - 9th Global WordNet Conference

2015

  1. Evaluating the competency of a first-order ontology

    Proceedings of the 8th International Conference on Knowledge Capture, K-CAP 2015

  2. Improving the competency of first-order ontologies

    Proceedings of the 8th International Conference on Knowledge Capture, K-CAP 2015

2012

  1. Adimen-SUMO: Reengineering an ontology for first-order reasoning

    International Journal on Semantic Web and Information Systems, Vol. 8, Núm. 4, pp. 80-116

2010

  1. A complete axiomatization of strict equality

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. A new proposal for using first-order theorem provers to reason with OWL DL ontologies

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

2008

  1. A New Proposal Of Quasi-Solved Form For Equality Constraint Solving

    Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 23-40

  2. A generalization of the folding rule for the Clark-Kunen semantics

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Complete and Consistent Annotation of WordNet using the Top Concept Ontology

    SIXTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, LREC 2008

  4. Complete and consistent annotation of WordNet using the top concept ontology

    Proceedings of the 6th International Conference on Language Resources and Evaluation, LREC 2008

2007

  1. Consistent Annotation of EuroWordNet with the Top Concept Ontology

    GWC 2008: FOURTH GLOBAL WORDNET CONFERENCE, PROCEEDINGS

  2. Consistent annotation of EuroWordNet with the top concept ontology

    GWC 2008: 4th Global WordNet Conference, Proceedings

2006

  1. An algorithm for local variable elimination in normal logic programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)