GERMAN
RIGAU CLARAMUNT
IRAKASLE TITULARRA
FRANCISCA
LUCIO CARRASCO
Ikertzaileren 1995-2022 tartean
FRANCISCA LUCIO CARRASCO-rekin lankidetzan egindako argitalpenak (5)
2019
-
A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet
IEEE Access, Vol. 7, pp. 36075-36093
-
Automatic white-box testing of first-order logic ontologies
Journal of Logic and Computation, Vol. 29, Núm. 5, pp. 723-751
2015
-
Evaluating the competency of a first-order ontology
Proceedings of the 8th International Conference on Knowledge Capture, K-CAP 2015
-
Improving the competency of first-order ontologies
Proceedings of the 8th International Conference on Knowledge Capture, K-CAP 2015
2012
-
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