Publicaciones en las que colabora con GERMAN RIGAU CLARAMUNT (5)

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

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