Aldizkaria, kongresua, liburua, liburu atala edo hitzaldi gonbidatua

A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet

This paper offers a new practical approach toward automated commonsense reasoning with first-order logic (FOL) SUMO-based ontologies. We propose a new black-box evaluation framework for SUMO-based ontologies, which exploits the world knowledge encoded in WordNet and its mapping into SUMO. Our proposal consists of both a novel semi-automatic method for the creation of a large set of commonsense problems and a new procedure that enables its automatic evaluation by using automated theorem provers (ATPs).

Orriak

RSS - Aldizkaria, kongresua, liburua, liburu atala edo hitzaldi gonbidatua-rako harpidetza egin