Présentation générale
L'ontologie de l'inférence active formalise la structure conceptuelle de l'inférence active en définissant des termes, des relations et des hiérarchies permettant une raisonnement cohérent, une compatibilité inter-projets et une connaissance lisible par machine. L'ontologie soutient l'objectif plus large d'une science ouverte et décentralisée de l'inférence active.