148

Chapitre 5

Exemples:

1) [si

[[sous-partie-de(champignon₁)] = ?chapeau] alors [L₁= L₁\{[couleur(chapeau)] , [forme(chapeau)]}]]

[[subparts(micro-elements)] = ¬microxyhexactines(u_i)] alors [L₁₆= L₁₆\{[diametre(microxyhexactines)](u_i) ,
[localisation(microxyhexactines)](u_i)}] [!] [L₁₅= L₁₅\{[rugosite(rayons)](u_i) , [forme(rayons)](u_i)}] [!] [P = P \ {rayons(u_i)}]]

2) [si

La règle 2 signifie que lorsqu'il n'y a pas d'objet microxyhexactines dans la description (qu'il soit multi-instancié par u_iou non), alors une telle description constituerait une incohérence : il est inutile de décrire le diamètre et la localisation de cet objet ainsi que de renseigner l'objet rayons qui n'existe pas dans ce contexte.

On peut définir un ordre partiel sur des objets p_iet p'_ien fonction de leurs extensions | p_i| et| p'_i| permettant de formaliser les notions d'héritage et de généralisation [Brito, 1991] :

" p_i, p'_i

[!] P_i,

ssi | p_i| [!]

| p'_i|

on dit que p_i

<= p'_i

On dira que p_ihérite de p'_isi p_i

Exemple:

<= p'_iet que p'_iest plus général que p_i

En considérant l'ensemble des baleines et l'ensemble des mammifères, la partie p_i = "nageoires latérales" des baleines est une spécialisation de la partie p'_i = "membres-antérieurs" des mammifères.

Les nageoires héritent des propriétés des membres antérieurs tout en ayant des caractéristiques propres (comme celle par exemple de ne pas avoir de sous- parties bras et mains).