J'aime bien cette image. Il y a en même une idée sur l'économie actuelle. En plus, il y a la méthode de conviction pour le contraire, c'est à dire : quelque chose d'intuitif.

Dbpedia est inconsistent :

1. Library est sous-classe de Place
2. Library est sous-classe de Agent
3. Place et Agent sont disjointes

De la logique modale, un graphe qui définit des transitions possibles entre des mondes.

Avec un joli éditeur de graphe en prime !

Latex pour les logiciens

assistant pour faire des preuves avec emacs