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,
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 ; 'i' est l'abréviation de `instance').
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 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).
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.
Questions de contrôle (après réponse aux questions
éventuelles des étudiants sur l'utilisation de "#" dans les sections 1.3.2 et 1.4.3) :
- en FE, FCG et RDF, les termes suivants sont-ils formels: "hat", pm#hat, hat%pm, pm:hat
- les termes suivants peuvent-ils (normalement, d'après leur nom en
français) référer
à un type de concept, à un type de relation, à un individu:
"hat", pm#Paris, pm#person, pm#type_de_relation_transitive, pm#relation, wn#part.
- reliez les termes suivants par des relations de type pm#instance, pm#equal ('='),
pm#subtype ('>') 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.