Je me permet aussi d'émettre un doute sur la qualité du code de Protégé : le fichier de démarrage force la taille de la pile à 16 Mo (!) par défaut, ce qui est gigantesque et extrêmement inhabituel.
De mémoire c’était à cause d’un plugin C++, le reasonerFaCT++, qui pour je ne sais quelle raison avait besoin d’une pile plus grande. Protégé lui-même et les reasoners écrit en pure Java (comme ELK ou HermiT) se satisfont très bien de la taille de la pile par défaut.
Voir quelque chose d’inhabituel et en émettre d’emblée des doutes sur la qualité du code sans rien savoir de l’historique et des raisons derrière... Mouais bof.
[^] # Re: C'est moi ou c'est idiot ?
Posté par gouttegd . En réponse au journal Google forke C++. Évalué à 3.
De mémoire c’était à cause d’un plugin C++, le reasoner FaCT++, qui pour je ne sais quelle raison avait besoin d’une pile plus grande. Protégé lui-même et les reasoners écrit en pure Java (comme ELK ou HermiT) se satisfont très bien de la taille de la pile par défaut.
Voir quelque chose d’inhabituel et en émettre d’emblée des doutes sur la qualité du code sans rien savoir de l’historique et des raisons derrière... Mouais bof.