Recherche:

Oui, la question du sous-typage est ma motivation.

Actuellement ERic ne supporte qu'un seul super-type (hyperonyme) par concept, et je voudrais passer à plusieurs (multiples hyperonymes, comme...

:merci: gasche

Pour la partie (2) de la question j'aurais du préciser que je ne m'intéresse qu'aux graphes réduits (une fois retirées les arrêtes "inutiles").

Pour la partie (1) je te remercie...

Merci. Hop, TortoiseSVN, checkout .... :)

J'ai d'abord regardé POMAP :arrow: ocaml-pomap

Puis ensuite j'ai cherché des papiers sur les algos d'encodage, surtout les DAG et les demi-treillis...

Si je considère :

• l'ensemble des intervalles d'entiers, comme par exemple les intervalles [2,5] et [3,4]
• la relation d'inclusion ⊆ est une relation réflexive, antisymétrique et transitive,...