Test 1 pour le contrôle continu du cours E5 : "Ingénierie des connaissances et Web sémantique"
Sans document ni moyen de communication. Répondre directement sous les questions
(plus, si nécessaire, sur d'autres feuilles numérotées et à votre nom).
Durée : maximum 30 minutes  (10 points  ->  comptez 1min30s par 1/2 point).


  1. [1,5 point]   Définissez le type de relation 'subtype' (tel que défini en cours) de 3 manières :
    a) en 1 ligne de FL utilisant 1 relation de type subtype, 1 relation de type instance et 1 relation de type equivalence,
    b) en 1 ligne de FL utilisant 1 relation de type subtype, 2 relations de type instance, 1 relation de type equivalence et 1 relation de type implication
    c) en 1 ligne de Formalized-English (FE: Anglais avec les règles de lecture) en utilisant
    i) les 3 relations indiquées en "a)", et
    ii) la forme suivante : the sentence "..." has for equivalence "...".
    FL:  [?st subtype of: ?t] <=> [any ?st  instance of: ?t]
    FL:  [?st subtype of: ?t] <=> [ [?st instance: ?i] => [?t instance: ?i] ]
    FE:  the sentence "?st is subtype of ?t" has for equivalence "any ?st is instance of ?t"
    
    
  2. [1 point]   Définissez de manière formelle (via une relation d'équivalence, en 1 ligne de FL ou de FE)
    puis informelle (en 1 ligne de français ou d'anglais) l'expression "?t > excl{?st1 ?st2}".
    FL:  [?t > excl{?st1 ?st2}] <=> [?t > ?st1 (?st2 exclusion: ?st1)].  //ok too with `...´
    Fr:  "?t > excl{?st1 ?st2}" est équivalent à "?st1 et ?st2 sont sous-types 
         de ?t et ne peuvent avoir ni sous-type commun, ni instance commune)".
    
    
  3. [3 points]   Représentez la phrase "Every car has at least a red wheel" comme indiqué ci-dessous.
    FL without context:      every car  part:  (a wheel color: a red);
    FL with 2 contexts:      car part _[every->a ?w]: (wheel color _[?w->a]: red);
    FL with red first:       red color of _[a<-?w]: wheel part of _[a ?w <- every]: car;
    FL-DF with car first:    car --part _[every->a ?w]--> wheel --color _[?w->a]--> wheel 
    FL-DF with wheel first:  wheel --part _[a ?w<-every]--> car
                                 |--color _[?w->a]--> red
    FE:                      every car has for part a wheel that has for color a red.
    
    
  4. [3 points]   Représentez la phrase "There is a wheel shared by every car" comme indiqué ci-dessous.
    FL without context:      a wheel part of:  every car;
    FL with a context:       wheel part of: car __[a->every]; 
    FL with car first:       car part: wheel __[every<-a];
    FL-DF with wheel first:  wheel --part of _[a->every]--> car
    FL-DF with car first:    car --part _[every<-a]--> wheel
    FE:                      (there is) a wheel is part of every car.
    
    
  5. [1,5 point]   Représentez la phrase "Every red car has at least a wheel" comme indiqué ci-dessous.
    FL without context:      every ^(car color: a red)  part: a wheel;
    FL-DF with car first:    car --color _[any ^rc ^-> a]--> red
                               |--part _[every ^rc ->a]--> wheel
    FE:                      every car that has for part a wheel has for color a red.