Evaluating the Competency of a First-Order Ontology
This work addresses the need for reliable ontology evaluation in automated reasoning, but it is incremental as it applies an existing method to a specific ontology.
The paper tackled the problem of evaluating a first-order ontology's competency for use with automated theorem provers, applying an adapted methodology to Adimen-SUMO v2.4 and finding it feasible for enabling non-trivial inferences.
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üninger&Fox,1995] to the framework of first-order logic, which is presented in [Álvez&Lucio&Rigau,2015], and is applied to Adimen-SUMO [Álvez&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.