Other

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).

Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies is generating considerable research on the use of automated reasoning techniques and tools that help in ontology engineering. One of the main aims is to refine and to improve axiomatizations for enabling automated reasoning tools to efficiently infer reliable information. Defects in the axiomatization cannot only cause wrong inferences, but can also hinder the inference of expected information, either by increasing the computational cost of or even preventing the inference.

Hitzaldi honen helburua da euskararen (eta beste hizkuntzen) ikas-irakaskuntzan hizkuntza-teknologiaren ekarpena zein den erakustea. Horretarako, azalduko da zer egin daitekeen hizkuntza “ulertzen” duen teknologiarekin, edo bestela esanda, datu linguistikoak erabiltzen dituen teknologiarekin: zer den hizkuntza-teknologia eta eskolan aurrez aurreko edo elearning modalitatean nola erabiltzen den eta nola erabil daitekeen, bai nazioarteko zenbait lan aipatuz, bai euskaraz erabilgarri dagoena erakutsiz.