Préparation
Téléchargez et installez le logiciel Protégé.
Lancez Progété, et choisissez l'option « Open OWL ontology from URI », et ouvrez l'ontologie :
http://champin.net/2014/iade1-tp-ld/onto.owl
Sujet du TP
Le rendu de ce travail est attendu pour vendredi 17 octobre à 12h00, à envoyer par e-mail à pchampin@liris.cnrs.fr. Il comportera
- un rapport répondant aux questions ci-dessous, et
- le fichier .owl comportant vos modifications.
1. Familiarisez vous avec l'ontologie, notamment via les onglets 'Classes', 'Object Properties', 'Data Properties' et 'Individuals'. Examinez les différents axiomes portés par les différentes classes et propriétés. Faites un résumé textuel de ce que décrit cette ontogie.
NB: il y a 2 individus: une instance de Personne, et une instance de CoursIA
2. Examinez les classes dont l'icône porte le symbole "≡". Ce sont des classes définies, par un axiome 'EquivalentClass'. Donnez une description textuelle de chacune de ces classes.
3. Dans le menu 'Reasoner', sélectionnez 'Configure...' et cochez toutes les cases dans la boîte de dialogue qui s'affiche. Ensuite, lancez le moteur d'inférence : dans le menu 'Reasoner', sélectionnez 'HermiT', puis 'Start reasoner'. Notez que de nouveaux axiomes (sur fond jaune pale) apparaissent, ainsi que de nouveaux sous-onglets ('Class hierarchy (inferred)'). Quels changements dans la hiérarchie de classes constatez-vous ? Expliquez les (vous pouvez utiliser le bouton '?' présent sur chaque axiome inféré).
4. Observez également les individus. Quels nouveaux axiomes constatez-vous ? Expliquez les.
5. Augmenter l'ontologie de manière à ce que le moteur d'inférence déduise que IADE1 est un CoursCollectif. Quelle précaution devez-vous prendre pour y parvenir ?
NB: Pour rafraichir les conclusions du moteur d'inférence, utilisez le menu 'Reasoner > Synchronize reasoner' ou tapez Ctrl+R.
NB: Pour sauvegarder l'ontologie, vous devez d'abord sélectionner 'File > Save as...'
6. Augmentez l'expressivité de l'ontologie en y ajoutant des classes, des propriétés et des individus. Vous pouvez par exemple ajouter la notion de Salle ou d'Examen. Décrivez dans votre rapport les modifications effectuées et, le cas échéant, les difficultés rencontrées.