III-3-1-1. LES PROPRIETES PORTANT SUR UN CONCEPT :
· La généricité :
un concept est générique s'il n'admet pas d'extension.
Exemple : la vérité est un
concept générique.
· L'identité : un concept porte
une propriété d'identité si cette propriété
permet de conclure quant à l'identité de deux instances de ce
concept. Exemple : le concept
d'étudiant porte une propriété d'identité
liée au numéro de l'étudiant, deux étudiants
étant identiques s'ils ont le même numéro.
· La rigidité : un concept est
rigide si toute instance de ce concept en reste instance dans tous les mondes
possibles. Exemple : humain est un concept rigide,
étudiant est un concept non rigide.
· L'anti-rigidité : un concept
est anti-rigide si toute instance de ce concept est essentiellement
définie par son appartenance à l'extension d'un autre concept.
Exemple : étudiant est un concept
anti-rigide car l'étudiant est avant tout un humain
· L'unité : un concept est un
concept unité, si pour chacune de ses
instances, les différentes parties de l'instance sont liées par
une relation qui ne lie pas d'autres
40 | ANNOTATION ET ONTOLOGIE
instances de concepts. Exemple :
les deux parties d'un couteau, manche et lame sont liées par une
relation« Emmanché » qui ne lie que cette lame et ce manche.
[Azoune et al, 2008]
III-3-1-2. LES PROPRIETES PORTANT SUR DEUX CONCEPT :
· L'équivalence : deux concepts
sont équivalents s'ils ont la même extension.
· La disjonction : (on parle aussi
d'incompatibilité) deux concepts sont disjoints si leurs extensions sont
disjointes. Exemple : homme et femme.
· La dépendance : Un concept C1
est dépendant d'un concept si pour toute instance de C1 il existe une
instance de qui ne soit ni partie ni constituant de l'instance de .
Exemple : parent est un concept
dépendant de enfant (et vice-versa). [Azoune et al,
2008]
III-3-2 LES RELATIONS :
Les relations représentent un type d'interaction entre
les notions d'un domaine. Elles établissent des liens sémantiques
binaires, organisables hiérarchiquement. [Azoune et al, 2008].
Ces relations regroupent les associations suivantes : sous-classe de
(spécialisation, généralisation) ; partie-de
(agrégation ou composition) ; associée-à ; instance-de ;
est-un (Is-a), etc. [Azoune et al, 2008].Elles sont
formellement définies comme tout sous-ensemble d'un produit de n
ensembles, c'est-à-dire R: C1 x x ... x Cn. [Gomez.
P]
| 
