TP – Exemples d'organisation de types de concepts

Ce TP est la suite du TD sur organisation de types de concepts.

Reliez par un maximum de relations les termes (de types de concepts) 'Knowledge_management', 'Knowledge_engineering', 'DBMS', 'KBMS' et 'Information' tels que définis en cours – en page 5 et en page 2 – mais en n'utilisant que des relations ayant des types parmi les suivants : 'subtype' (que vous pouvez abrévier par 's'), 'exclusion' (alias, 'disjointWith' ; vous pouvez abrévier par 'e'), 'tool' et 'input' (n'abréviez pas ces deux derniers noms).
Ne mentionnez pas les relations qui peuvent être inférées, e.g. le sous-type d'un sous-type d'un type est évidemment aussi un sous-type de ce type.

Rappel : il est écrit ci-dessus "en n'utilisant que les types de relations suivants" donc ne représentez pas de relations de types autres que les 4 listés.
Pour ces 4 types de relations, vous pouvez relier directement les types de concepts ci-dessus par (au moins) 7 relations.
N'oubliez pas les quantificateurs (ou cardinalités) lorsque cela est pertinent : en effet, sémantiquement, une relation de type `subtype' est à utiliser entre des types, alors qu'une relation de type 'input' est sémantiquement une relation entre un processus (donc une instance de processus, pas un type de processus) et une entrée de ce processus.
Utilisez la notation de votre choix et indiquez son nom (points en moins si vous ne l'indiquez pas).

Solution.

Lisez the Circle-ellipse problem (avant ce TP) et indiquez (durant ce TP)
au moins un problème pour chacune des solutions proposées. Trois de ces solutions sont
partiellement correctes, partiellement redondantes entre elles, et complémentaires vis à
vis de la solution permettant d'avoir un code (ou une approche) qui passe à l'échelle.

TP – Exemples d'organisation de types de concepts - Objet/symbole/phrase formel(le) ou non

Dans les questions ci-dessous, les notations suivantes sont utilisées pour les termes :

1. la forme ^"..." (e.g.: ^"hat") est utilisée en FL ou FE pour délimiter un mot (→ pas un identifiant unique) référant à un ou plusieurs types,
2. la forme ...#..... (e.g.: pm#hat) est utilisée en FL ou FE pour un identifiant unique (référant à un type ou à un individu) créé par un agent (personne ou logiciel) dont un identifiant est la partie avant le '#' (donc pm pour pm#hat),
3. la forme .....%... (e.g.: hat%pm) est utilisée en FL ou FE pour un identifiant unique créé par un agent dont un identifiant est la partie après le '%' (donc pm pour hat%pm),
4. la forme ...:..... (e.g.: pm:hat) est utilisée dans beaucoup de languages du W3C (e.g., XML, JSON-LD, Turtle, N3) pour un identifiant unique créé par un agent dont un identifiant est la partie avant le ':' (donc pm pour pm:hat).

• Pour chacun des termes suivants: est-il "formel" (cf. section 1.1.5) ?
  ^"hat",  pm#hat,  hat%pm,  pm:hat         QW1
• Note ajoutée le 02/10/2024 : pour les groupes 1a et 1b, vos réponses à cette question et à la suivante seront évaluées durant le TD de la partie 2 (le 9/10/2024).
  Pour chacun des termes suivants : référe-t-il (normalement, d'après son nom en anglais) à un type de concept, à un type de relation, ou à un individu ?
  ^"hat",  pm#Paris,  pm#person,  pm#type_de_relation_transitive,  pm#relation,  wn#part.
  (la page 7 du support de CM rappelle les différences entre types de relation, types de concept et individus)             QW2
• Reliez les termes suivants par des relations de type  pm#instance ('i'),  pm#equal ('='),  pm#subtype ('\.' ou 's')  et  pm#extended_specialization ('.>' : toute relation de spécialisation qui n'est ni une relation sous-type, ni une relation instance) :
      en#"city",   wn#city,   wn#capital,   en#"Paris",   wn#Paris___the_French_capital,
      pm#Paris_the_city_which_was_the_French_capital_in_2010,   pm#Paris_in_1860.