Structure sémantique typée ( SST)

Une structure sémantique typée ( SST) contient un ensemble de relations élémentaires ( RE), organisées selon une propriété correspondant à son type, $c\in{\cal T}$ :

$${\mathcal S}\equiv (\{r_1, ..., r_m\}, c)$$

Pour toutes les RE $r_j, j\in\{1,\ldots,m\}$ d'une SST ${\mathcal S}$, nous écrivons :

$$r_j\in_R{\mathcal S}$$

Le type c d'une SST prend ses valeurs dans un ensemble de constantes :  

$$\begin{array}{ll} {\cal T}=&\{\text{$T_{\text{\it attr.\,triv... ...{\text{\it them. simple}}$, $T_{\text{\it act}}$}\} \end{array}$$

Chaque élément de cet ensemble correspond à une propriété précise des RE de la SST (par exemple, pour une SST de type $T_{\text{\it isot,faible,part.}}$, il existe, entre autres, la propriété ``toutes les troisièmes projections ($\pi_3$) des RE sont identiques'').

Une SST est soit le produit d'une définition explicite de l'utilisateur soit le produit d'une construction (${\cal K}$) à partir d'un ensemble d'autres SST. Puisqu'une construction de type c garantit la production d'une SST de même type c, nous examinons une fois pour toutes les contraintes qu'un type $c\in{\cal T}$d'une SST impose sur les RE de la SST, quand nous parlons d'une construction de type c (cf. 4.3.4).

Pour pouvoir << passer >> l'information sémique d'une SST d'une entité positionnée e à une entité positionnée e' (notamment quand une classe attribuante est utilisée comme source d'information sémique pour la construction d'une nouvelle CS, cf. 4.3.4), nous généralisons l'opérateur de substitution symbolique, défini initialement sur une seule RE, à l'ensemble des RE d'une SST. Une substitution symbolique ( $\mathbf{s}_{[{e}/{e'}]}({\mathcal S})$) d'une entité positionnée e appartenant à l'ensemble des éléments effectifs d'une structure ${\mathcal S}=(\{r_1, ..., r_m\}, c)$ par une autre entité e', est définie formellement en utilisant la substitution symbolique au sein d'une RE (cf. aussi la figure 4.8) :

$$\mathbf{s}_{[{e}/{e'}]}((\{r_1, ..., r_m\}, c))=(\{r'_1, ..., r'_m\}, c)$$

avec

$$\forall j\in\{1,\ldots,m\} : r'_j=\mathbf{s}_{[{e}/{e'}]}(r_j)$$

  

Figure: Substitution symbolique d'une lexie l₁ appartenant à une SST ${\mathcal S}_1$, par une lexie l'₁. Une telle substitution est utilisée quand struc₁ apporte son information sémique à la lexie l'₁ qui sera un élément effectif d'une nouvelle SST qui finira par être construite