7 citations · 20 across the 7 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.AI2015
Evaluating the Competency of a First-Order Ontology
Javier Álvez, Paqui Lucio, German Rigau
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 meth…
cs.AI2015★ 6 cited
Improving the Competency of First-Order Ontologies
Javier Álvez, Paqui Lucio, German Rigau
We introduce a new framework to evaluate and improve first-order (FO) ontologies using automated theorem provers (ATPs) on the basis of competency questions (CQs). Our framework in…