Ce projet permet d'analyser les définitions issues du dictionnaire WordNet pour en extraire des connaissances structurées. Il génère des ontologies à partir de mots et de leurs relations sémantiques, facilitant ainsi la compréhension et l'exploitation automatique du langage naturel. Utilisé dans le cadre d'une thèse, il contribue à la modélisation de concepts et à l'identification de liens entre eux.

Ce projet vise à échanger des idées, des opinions et des définitions pour la sémantique de sous-ensembles de la langue OCaml ou de certains langages intermédiaires pour OCaml. Il est organisé en différentes sections, dont une dédiée à l'intermédiaire langage utilisé par l'analyseur statique Salto.