Evaluating the Competency of a First-Order Ontology
Artificial Intelligence
2015-10-19 v1 Logic in Computer Science
Abstract
We report on the results of evaluating the competency of a first-order ontology for its use with automated theorem provers (ATPs). The evaluation follows the adaptation of the methodology based on competency questions (CQs) [Gr\"uninger&Fox,1995] to the framework of first-order logic, which is presented in [\'Alvez&Lucio&Rigau,2015], and is applied to Adimen-SUMO [\'Alvez&Lucio&Rigau,2015]. The set of CQs used for this evaluation has been automatically generated from a small set of semantic patterns and the mapping of WordNet to SUMO. Analysing the results, we can conclude that it is feasible to use ATPs for working with Adimen-SUMO v2.4, enabling the resolution of goals by means of performing non-trivial inferences.
Cite
@article{arxiv.1510.04826,
title = {Evaluating the Competency of a First-Order Ontology},
author = {Javier Álvez and Paqui Lucio and German Rigau},
journal= {arXiv preprint arXiv:1510.04826},
year = {2015}
}
Comments
4 pages, 4 figures