Operateur dot (.) sous H-Logic

Statut documentaire : reference — voir Maturité et preuves. H-Logic est maintenant devenu très expressive en utilisant l'opérateur '.' qui permet d'accéder à un item de relation soit en utilisant son indexe soit en utilisant son nom de rôle.

Par contre pour l'implémentation de cet opérateur dans le parsing de H-Logic, il faut envisager deux possibilités :

• Une évaluation directe du concept associé en prenant l'item de la relation. Ceci est possible quand on n'est pas entrain de définir une relation ou de lancer une requête
• Une transformation en jointure basée sur la dimension this afin de disposer d'un 'programme logique' (ie pas basé sur des expression nodes) qui permet de trouver une valeur. L'intérêt ici est d'identifier des pattern de calcul non fonctionnels (directement ou en inversion de calcul). Pour cela, si cette expression est défini comme indexée, on va pouvoir identifier des motifs non triviaux directement car la structure aura été enrichie au fur et à mesure de l'évolution de la base de connaissance

En présence du moteur fonctionnel, on peut aussi envisager la création d'un 'programme fonctionnel' qui va lancer la succession d'évaluation de l'opérateur '.' à l'exécution