Retirer la contrainte sur la création d'instance

La requête cts:instantiate-atom-net porte une contrainte probablement en trop dans sa partie SELECT :

# condition: agt/obj(uw0, uw1)

?uw0 (unl:agt | unl:obj | unl:aoj) ?uw1.

Cette contrainte restreint la création d'instances aux filets avec des UWs (uw1) ciblés par certaines relations (agt, obj, aoj). Cette contrainte n'est pas nécessairement partinente.

Il faudrait à minima étendre ces relations (par exemple, res). Mais il est probable que cette contrainte soit inutile, et que l'on veut avoir des instances pour tous les éléments atomiques extraits.

Attention ! Si on lève la contrainte, on se retrouvera possiblement avec trop d'instances. A étudier sur plusieurs cas.

NB: On observe des erreurs sur les range de certaines propriétés (action), qui provient de l'absence d'instance sur les éléménts pointés par res. Cette erreur sera corrigée avec cette issue.

Edited by Aurélien Lamercerie