Type Theories and Lexical Networks: using Serious Games as the basis for Multi-Sorted Typed Systems

Abstract

In this paper, we show how a rich lexico-semantic network which has been built using serious games, JeuxDeMots, can help us in grounding our semantic ontologies in doing formal semantics using rich or modern type theories (type theories within the tradition of Martin Löf). We discuss the issue of base types, adjectival and verbal types, hyperonymy/hyponymy relations as well as more advanced issues like homophony and polysemy. We show how one can take advantage of this wealth of lexical semantics in a formal compositional semantics framework. We argue that this is a way to sidestep the problem of deciding what the type ontology should look like once a move to a many sorted type system has been made. Furthermore, we show how this kind of information can be extracted from a lexico-semantic network like JeuxDeMots and inserted into a proof-assistant like Coq in order to perform reasoning tasks.

Dish Classification using Knowledge based Dietary Conflict Detection

“…cuisinelibre.org et 65% www.allrecipe.fr 14 http://www.jeuxdemots.org/jdm-about. php in (Chatzikyriakidis et al, 2015), its inference and annotation mechanisms respectively by (Zarrouk et al, 2013) and (Ramadier, 2016). The ever ending process of graph population is carried on using different techniques including games with a purpose, crowd-sourcing, mapping to other semantic and knowledge resources such as Wikipedia or BabelNet (Navigli and Ponzetto, 2012).…”

Towards the Automatic Detection of Nutritional Incompatibilities Based on Recipe Titles

“…Today it contains 1.4M nodes and 90M relations divided into more than 100 types. The structural properties of the network have been detailed in [15] and later in [6], its inference and annotation mechanisms respectively by [24] and [22]. The ever ending process of graph population 17 is carried on using different techniques including games with a purpose, crowd-sourcing, mapping to other semantic and knowledge resources such as Wikipedia or BabelNet [19].…”